независимость системы аксиом

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

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.