Рэймонд Смаллиан - Как же называется эта книга
Одно из предложений (какое именно - не известно) X и Y должно быть истинно, но недоказуемо. Можно поступить иначе и построить два предложения X, Y, такие, что X будет содержать утверждение об опровержимости предложения Y, а Y будет содержать утверждение о неопровержимости предложения X. По крайней мере одно из предложений X, Y (какое именно не известно) должно быть ложно, но неопровержимо.
Возможен я еще один вариант. Не используя даже условие C, можно построить два предложения X, Y, такие, что X будет содержать утверждение о доказуемости Y, а Y - о неопровержимости X. Одно из них (какое именно - не известно) должно быть либо истинно, но недоказуемо, либо ложно, но неопровержимо (но каким именно набором из этих двух будет обладать предложение - не известно).
И последнее, о чем я хочу сказать вам, пока не забыл. Как же называется эта книга? Эта книга так и называется - "Как же называется эта книга?"
