- 45 名前：ﾉおいて、基礎となる形式理論の不完全性やパラドックスはいずれにしても決して役割を果たさず、それらが行われる分野や形式化の試みが矛盾した理論 (論理や圏など) を形成する危険性がある分野では、理論）、慎重に扱われる可能性があります。
20 世紀半ばの圏論の発展は、フォン ノイマン – ベルネイス – ゲーデルの集合論やタルスキー – グロタンディークの集合論など、 ZFC よりも大きなクラスの存在を保証する集合論の有用性を示しました。
場合によっては、大きな基本公理やグロタンディーク宇宙の使用は正式に削除可能です。
逆数学プログラムの目的の 1 つは、基礎的な問題が再び危機を引き起こす可能性のある「中核数学」の領域があるかどうかを特定することです。 [] - [ここ壊れてます]
