Similar to ZFCから独立な命題の一覧
連続体濃度
Cardinality of the continuum和集合
Union (set theory)
和集合の公理
Axiom of union
ワニのパラドックス
Crocodile dilemma
モデル理論
Model theory
数学基礎論
Foundations of mathematics
計算理論
Theory of computation
カントールの往復論法
Back-and-forth method
幾何学基礎論
Foundations of geometry
形式主義 (数学)
Formalism (philosophy of mathematics)
公理
Axiomコンパクト性定理
Compactness theorem
充足可能性問題
Boolean satisfiability problem推論規則
Rule of inference直観主義 (数学の哲学)
Intuitionism
数理論理学
Mathematical logic
全称記号
Universal quantification超実数
Hyperreal number
直観主義型理論
Intuitionistic type theory
ツェルメロ＝フレンケル集合論
Zermelo–Fraenkel set theory
パラドックス
Paradox
フォン・ノイマン＝ベルナイス＝ゲーデル集合論
Von Neumann–Bernays–Gödel set theory
ブラリ＝フォルティのパラドックス
Burali-Forti paradox無矛盾
Consistency
アレクサンドル・グロタンディークが考えたこと
List of things named after Alexander Grothendieck
異種微分積分学における導函数と積分函数の一覧
List of derivatives and integrals in alternative calculi
ポール・エルデシュに因んで命名された物の一覧
List of things named after Paul Erdős
円周率を含む数式
List of formulae involving π
