Электронные Толковые Словари
Реклама

Философский словарь
"НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ"

/ Главная / Философский словарь / буква Н / НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ
Философский словарь

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





2006-2013. Электронные Толковые Cловари. oasis[dog]plib.ru