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