ГЛАВНАЯ       КОНТАКТЫ
Философский словарь

А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я
НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ
невыводимость аксиом к.-л. дедуктивной теории по правилам вывода этой теории из остальных аксиом. Исследование Н. с. а. имеет существенное значение. Так, установление независимости пятого постулата- Евклида в системе аксиом геометрии способствовало созданию неевклидовых геометрий (Аксиоматический метод).
Вы можете поставить ссылку на это слово:

будет выглядеть так: НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ