Рассмотрим высказывание: «Это утверждение не может быть выведено из аксиом». Предположим, что оно ложно. Следовательно, это утверждение может быть выведено из аксиом и, стало быть, оно истинно. Противоречие. Выходит, наше предположение было ошибочно, и рассмотренное высказывание не может быть ложным. А раз так, то оно истинно. Таким образом, существует истинное высказывание, которое не может быть выведено из аксиом, то есть недоказуемое. Такова теорема Геделя. Из этого вытекают взрывающие мозг следствия, например, что гипотеза Гольдбаха и проблема простых чисел-близнецов могут быть истинны, но недоказуемы! TikTok: / dima_math ВК: https://vk.com/id2177613
Skype: Doka382 WhatsApp, Viber: +7-952-371-13-71 Поддержать канал: Сбербанк: 4817 7602 5094 7060 Альфа-Банк: 4584 4328 2354 8236 PayPal: paypal.me/DmitriiMikhailov Почта Банк: 2200 7702 5595 7682 Яндекс Деньги:
ВТС: 1DimaeQ4DTk5mNLsShNqnCYpe2pDu1Gihf DASH: XdimonuW12MhgM6qq425WseraKbEwpQdf3 MONERO: 42iadV4NaTvWh9JuK4EVKdh1jPHExftG8dQh3jHnEnBjeAcD445xfJxDXSpTiA5LRWMAfXiQ17kaw7UxuerjXnQmQY9uy9e DOGECOIN: DDimonNctcjxGTTp78KUsf2ZrjbhN1mJw5
