Similar to 超実数
公理
Axiomコンパクト性定理
Compactness theorem
自己言及のパラドックス
Liar paradox
集合論
Set theory
充足可能性問題
Boolean satisfiability problem推論規則
Rule of inference直観主義 (数学の哲学)
Intuitionism
数理論理学
Mathematical logic
全称記号
Universal quantification素朴集合論
Naive set theory代替集合論
List of alternative set theories
直観主義型理論
Intuitionistic type theory
ツェルメロ＝フレンケル集合論
Zermelo–Fraenkel set theory
ハウスドルフのパラドックス
Hausdorff paradox
パラドックス
Paradox非有基的集合論
Non-well-founded set theory
フォン・ノイマン＝ベルナイス＝ゲーデル集合論
Von Neumann–Bernays–Gödel set theory
ブラリ＝フォルティのパラドックス
Burali-Forti paradox無矛盾
Consistency
数学
Mathematics
0.999...
0.999...
0次元
Zero-dimensional space
0の0乗
Zero to the power of zero
1次元
One-dimensional space
1+1
1+1+1+1+…
1 + 1 + 1 + 1 + ⋯
1+2+3+4+…
1 + 2 + 3 + 4 + ⋯
1+2+4+8+…
1 + 2 + 4 + 8 + ⋯
