Как доказать аксиому и постулат? Вероятность того, что предположение верно растёт по мере роста числа проверок. Теорема

Question

Ферма поэтому уже аксиома? В известном доказательстве Теоремы Ферма есть постулаты теории множеств. Colin McLarty, "What does it take to prove Fermat's last theorem? Grothendieck and the logic of number theory, " Bulletin of Symbolic Logic 16 (3) , 359-377 (2010) .

По мере того, как народ привыкает к тому, что Гипотеза Римана выполняется в каждой конкретной проверке, она меняет свой статус:

Предположение, Гипотеза, Постулат, Аксиома.

Бог же знает всё. Для Бога нет недоказанного.

Answer 1

Можно ввести сразу 10. 000 аксиом, только пользы от этого не будет. Нужно найти минимум, чтобы аксиомы, которыми мы покрываем нужный раздел математики, не были избыточными.