Аксиома: Разлика между версии

 

Още откриването на [[Парадокс на Ръсел|парадокса на Ръсел]] и други подобни противоречия в [[наивна теория на множествата|наивната теория на множествата]] поставят под съмнение възможността за пълна формализация на математиката. Решителен удар на това начинание е нанесен през 1931 година, когато Курт Гьодел демонстрира, че за всяко достатъчно голямо множество от аксиоми (например, [[аксиоми на Пеано|аксиомите на Пеано]]) е възможно да се конструира твърдение, чиято истинност е независима от множеството от аксиоми. Следствие на това е и фактът, че съвместимостта на теория, като аритметиката на Пеано, е недоказуема в рамките на самата теория.

 

== Бележки ==

== Вижте още ==

* [[Аксиоматичен метод]]

 

== Външни препратки ==