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