Вопрос 28: 1930
Как рад я сегодня неописуемо!
Есть утверждение, знаю теперь,
Истинно, ложно ли — ну-ка проверь!
[...]!
Ответ: И то, и другое недоказуемо
В 1930 году Гедель доказал свою знаменитую теорему о неполноте,
согласно которой в любой системе аксиом, включающей арифметику,
существуют утверждения, которые невозможно ни доказать, ни
опровергнуть.
Источник(и): х/ф "Берегись автомобиля"
Автор: Мишель Матвеев (Санкт-Петербург)