Один мой друг заявляет, что доказал теорему о невозможности самообмана

Рассуждение можно реконструировать примерно следующим образом (естественно, я убрал ковыряния с переменными)


(0) Самообман существует (ass)

(1) Если z обманул y, то z знает правду (аксиома)

(2) Если z обманут y, то z не знает правды (аксиома)

(3) Самообман это случай, когда x обманул x (определение)

(4) x знает правду (из (0), (1), (3))

(5) x не знает правды (из (0), (2), (3))

Поскольку (4) противоречит (5), допущение (0) неверно, тогда

Самообмана не существует. QED


Мнения?