Рассмотрим, к примеру, утверждение (обозначим его "утверждение 1*):

1* [Иванов не способен доказать данное утверждение 1*]

Спрашивается: может ли Иванов доказать данное утверждение? Если "да", то это утверждение истинно и, следовательно, Иванов не способен его доказать. Если же нет", то оно истинно, но недоказуемо (для Иванова).

Однако я, ( Read more... )