Статья 325

Известно, что в любой достаточно сильной математической теории имеется неразрешимое утверждение.

Определим число следующим образом. Пользуясь законом исключенного третьего, можно доказать существование, но нельзя построить ни одно, про которое можно сказать, что оно удовлетворяет приведенному условию.
Итак, причиной появления приведений, которые существуют, но построить их нельзя, является эффект сочетания классической логики с теоремой Генделя о неполноте. Закон означает, что мы знаем все.

А этот постулат никак нельзя назвать реалистическим мы знаем очень мало, и чем больше знаем, тем больше не знаем.

Брауэр определил логические корни приведений еще до появления теоремы Геделя, в 1908 г. и начал построение математики, не принимающей закон как универсальный.

достаточно

достаточно


В 1930-1932 гг.