Интернет-чемпионат по бескрылкам ИЧБ-11. 2 тур. Мишель Матвеев. Вопрос 28

Вопрос 28: 1930
    Как рад я сегодня неописуемо!
    Есть утверждение, знаю теперь,
    Истинно, ложно ли — ну-ка проверь!
    [...]!

Ответ: И то, и другое недоказуемо

Комментарий: В 1930 году Гедель доказал свою знаменитую теорему о неполноте, согласно которой в любой системе аксиом, включающей арифметику, существуют утверждения, которые невозможно ни доказать, ни опровергнуть.