Естественнонаучный фундамент КПЕ

[Зануда]

Для справки:

Первая теорема Гёделя:

Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), существует такая замкнутая формула F, что ни F, ни её отрицание не являются выводимыми в этой теории.

Вторая теорема Гёделя:

Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), формула, утверждающая непротиворечивость этой теории, не является выводимой в ней.