Similar to 無限
保存拡大
Conservative extension
マーティンの公理
Martin's axiom矛盾許容論理
Paraconsistent logic
命題関数
Propositional function
メタ理論
Metatheoryメタ論理学
Metalogic
モデル理論
Model theory
有限演算
Finitary有限モデル理論
Finite model theoryラムダ計算
Lambda calculus
レーブの定理
Löb's theorem連言標準形
Conjunctive normal form
ロッサーのからくり
Rosser's trick
論理式 (数学)
Logical formula
論理プログラミング
Logic programming
数学の哲学
Philosophy of mathematics
疑似数学
Pseudomathematics
形式主義 (数学)
Formalism (philosophy of mathematics)
信用区間
Credible interval
数学的対象
Mathematical object
対象
Object (philosophy)
抽象的対象
Non-physical entity
ピタゴラス教団
Pythagoreanism
プラトンの立体
ベイズ確率
Bayesian probability
我々は知らない、知ることはないだろう
Ignoramus et ignorabimus
数学
Mathematics▲1 trends
0.999...
0.999...▼-1 trends