hcnp| nqŠpe0nb
44
используемые
для
доказательства
других
положений
теории
,
называемых
теоремами
.
Следовательно
,
аксиоматический
метод
так же
построен
на
вере
в
некие
истины
,
которые
не
могут
быть
доказаны
рациональным
способом
.
Главными
областями
приме
-
нения
аксиоматических
методов
сегодня
являются
математика
и
современная
физика
.
Поскольку
все
остальные
естественные
науки
,
изучающие
неживой мир
,
в
конце
концов
,
сводятся
к
двум
названным
,
то можно
говорить
о
том
,
что
в
основе
современного
естествознания
лежит
аксиоматический метод
.
Этот
метод
с
точки
зрения
его
логической
замкнутости
обоснован
гораздо
лучше
,
нежели
метод
классического
материа
-
лизма
,
поскольку
именно
вопрос
самодостаточности
и
полноты
различных
систем
аксиом
всегда
,
вот
уже
более
двух
тысяч
лет
,
был
его
центральным
пунктом
.
Первый
принципиальный
резуль
-
тат
в
этом
направлении
был
получен Н
.
Лобачевским
,
когда
ему
удалось
сформулировать
логически
последовательную
геометри
-
ческую
систему
,
отличную
от
геометрии Евклида
.
В
полном
виде
проблема
была
решена
в
1931
году
Куртом
Гёделем
,
установив
-
шим
,
что
всякая
формальная
непротиворечивая
система
рацио
-
нальных
утверждений
неполна
.
Так
называемая
теорема
о
непол
-
ноте
.
Строго
говоря
,
теорема
К
.
Гёделя
устанавливает
тот
факт
,
что
всегда
можно
сформулировать
последовательность
проблем
такого
рода
,
что
для
любой
дедуктивной
теории
среди
этих
про
-
блем
найдётся
неразрешимая
в
пределах
данной
теории
.
Именно
это
обстоятельство
является
той
причиной
,
которая
вынуждает
материалистическую
логику
прибегать
к
бесконечной
«
матрёш
-
ке
»
при
решении
проблемы
сингулярности
.
В
силу
этого
аксио
-
матический метод
зачастую
считается неудовлетворительным
.
Как
нетрудно
заметить
,
аксиоматический
метод
является
развитием
метода
экспериментального
детерминизма
.
Просто
в
одном
из
них
постулируются
частности
,
а
в
другом
некие
общие
положения
.
Однако
вера
,
лежащая
в
основе
индуктивного
и
де
-
дуктивного
построений
,
принципиально
различаются
.
Вера
ин
-
