Similar to 形式主義_(数学)
数理論理学
Mathematical logic
全称記号
Universal quantification素朴集合論
Naive set theory
代替集合論
List of alternative set theories超実数
Hyperreal number
直観主義型理論
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
数学の哲学
Philosophy of mathematics
信用区間
Credible interval
数学的対象
Mathematical object
対象
Object (philosophy)
抽象的対象
Non-physical entity
ピタゴラス教団
Pythagoreanism
プラトンの立体
ベイズ確率
Bayesian probability無限
Infinity
我々は知らない、知ることはないだろう
Ignoramus et ignorabimus
数学
Mathematics
0.999...
0.999...
0次元
Zero-dimensional space
0の0乗
Zero to the power of zero
1次元
One-dimensional space
