Категория : Итоги независимости

Результаты независимости в математике относятся к данной аксиоматической системе . Например, логическая независимость постулата параллельности была установлена ​​по отношению к другим аксиомам евклидовой геометрии в девятнадцатом веке.

Результаты независимости, представляющие наибольший интерес в современной математике, по большей части связаны с аксиомами теории множеств ZFC , де-факто стандартной базовой системы. Другие результаты независимости касаются арифметики Пеано и других формализаций натуральных чисел .