«Я не знаю, что ты знаешь»: шоу с игрой на совпадение цветов

[avshkol]

Предположим от противного, что существует истинное высказывание φ, которого мы не знаем. Тогда истинно высказывание «φ и мы не знаем φ». Согласно (2), это высказывание в принципе можно знать. Значит, мы могли бы знать «φ и мы не знаем φ». Но тогда мы знали бы φ и одновременно знали бы, что не знаем φ.

Истинно высказывание "существуют области, которые мы не знаем, и при этом не знаем, что их не знаем". И это разрешает кажущуюся проблему.