Similar to 宇宙_(数学)
宇宙 (数学)
Universe (mathematics)
ZFCから独立な命題の一覧
List of statements independent of ZFC
アルキメデスの性質
Archimedean property
吸収法則
Absorption law
構造的帰納法
Structural induction
ススリンの問題
Suslin's problem
全順序
Total order
超フィルター
Ultrafilter
代替集合論
List of alternative set theories集合論
Set theory非有基的集合論
Non-well-founded set theory
Ω-論理
Ω-logic
アロンシャイン木
Aronszajn tree▲1 trends
完全関係
Connected relation
グッドスタインの定理
Goodstein's theorem
自己言及のパラドックス
Liar paradox▲1 trends
推移関係
Transitive relation素朴集合論
Naive set theory
対称関係
Symmetric relation
Δ-システム補題
Sunflower (mathematics)▲1 trends
ハウスドルフのパラドックス
Hausdorff paradox
反射関係
Reflexive relation
メレオロジー
Mereology
Grundzüge der Mengenlehre
Grundzüge der Mengenlehre
数理論理学
Mathematical logic
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm▲1 trends