GEB, стр. 22
Иерархия языков: предметный → метаязык → метаметаязык...
"В этой книге я критикую теорию типов" — дважды запрещено:
• упоминает "эту книгу" (нужна метакнига)
• упоминает "я" (о себе говорить нельзя)
Лекарство хуже болезни: метод объявляет бессмыслицей множество правильных конструкций.