Аутореферентными высказываниями в математической логике называются высказывания, в которых содержится информация о самом этом высказывании.
Например: "это утверждение истинно". Название первой книги логических головоломок Рэймонда Смаллина, посвященной главным образом аутореферентным высказываниям, имеет форму вопроса. Попробуйте догадаться, как же называется эта книга.