Рефераты - Афоризмы - Словари
Русские, белорусские и английские сочинения
Русские и белорусские изложения
 

НЕЗАВИСИМОСТЬ_СИСТЕМЫ_АКСИОМ

Статья из раздела: «Философский словарь»

НЕЗАВИСИМОСТЬ_СИСТЕМЫ_АКСИОМ — невыводимость аксиом к.-л. дедуктивной теории по правилам вывода этой теории из остальных аксиом. Исследование Н. с. а. имеет существенное значение. Так, установление независимости пятого постулата- Евклида в системе аксиом геометрии способствовало созданию неевклидовых геометрий (Аксиоматический метод).

ref.by 2006—2019
contextus@mail.ru