text: Логическое описание для «автологичного»: «Автологичное» автологично тогда и только тогда, когда «автологичное» автологично: A {\displaystyle A} тогда и только тогда, когда A {\displaystyle A} — тавтологию Логическое описание для «гетерологического»: «Гетерологичное» гетерологично тогда и только тогда, когда «гетерологичное» автологично: A {\displaystyle A} тогда и только тогда, когда не выполнено A {\displaystyle A} — противоречие.