Цитата:
Сообщение от Сиринъ
Причём здесь нужда в новых аксиомах? Новые аксиомы рождаются в более широких формальных системах... А мы ещё за рамки этой не вышли. Здесь достаточно того, что аксиома уже имеется.
|
Я уже объяснил причём. В науке постоянно появляются недоказуемые формулы. Чтобы их доказать появляются новые аксиомы (то есть появляется новая формальная система, как Вы на удивление верно подметили). Появление в науке новых формальных систем является прямым свидетельством того, что это неполная формальная система.