Ну и чего? https://habr.com/ru/articles/895684/
Именно в рамках формальной логики существуют математические утверждения истинность которых недоказуема! Т.е. "попиздели и разошлись".
ЗЫ: до недавнего времени теорема Ферма, например! :-)
...хотя ,на мой взгляд, не сбиться на 130 страницах доказательства не каждому по силам! :-))
ЗЗЫ: сомневаюсь, что и сам Ферма нашёл правильное доказательство! Скорей всего, ему показалось, что нашёл!
Трудно представить, чтоб человека озарило 130 страничным доказательством!
Хотя тут возможны варианты, согласен!
Могло и озарить 130-ю страницами, могло и снизойти другое верное доказательство! Покороче! :-)
_volkanaft_ (Сегодня, 11:04, просмотров: 36) ответил Codavr на Для справки, формальная логика - раздел математики.