Принцесса или тигр   ::   Смаллиан Рэймонд

Иногда это разделение смысла команды на две части — содержание команды и приказ к ее исполнению — может быть явным. В строевой команде, произносимой «Нале-во!», часть «нале-» указывает направление поворота, а «-во» является сигналом к исполнению; здесь первая часть перестает быть аутореферентной. Важно отметить, что, как и в опыте Струпа, аутореферентное высказывание может быть внутренне конфликтным. В нашем примере, если приказ отдается лицом, не имеющим на это права, то часть интерпретации «это есть приказ к исполнению» оказывается ложной.

Гёдель исследовал программу аксиоматизации математики. Существует ли, например, такая явная система постулатов о свойствах целых чисел (вроде аксиом евклидовой геометрии), из которой чисто логически можно вывести все истинные теоремы о них? (Ложные при этом не должны выводиться.) Объяснить точно содержание этой задачи не очень легко даже математику, который специально логикой не занимался. Трудность состоит в описании смысла слов «все» и «вывести»— сначала приходится построить целую теорию, формальную систему, внутри которой этими словами можно пользоваться как математическими терминами. Как бы то ни было, Гёдель показал — вопреки некоторым ожиданиям, — что ответ на поставленный вопрос отрицателен, полной системы аксиом арифметики нет. Причина же этого лежит в странных свойствах аутореферентных высказываний, тех же, что и выше.