Similar to 無限論理
ブール値関数
Boolean-valued function
ブール領域
Boolean domain
不動点コンビネータ
Fixed-point combinator
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
プリンキピア・マテマティカ
Principia Mathematica
プレスバーガー算術
Presburger arithmetic
負論理
Logic level
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
変数 (数学)
Variable (mathematics)
保存拡大
Conservative extension
マーティンの公理
Martin's axiom
命題関数
Propositional function
メタ理論
Metatheoryメタ論理学
Metalogic
メレオロジー
Mereology
モデル理論
Model theory
有限演算
Finitary有限モデル理論
Finite model theoryラムダ計算
Lambda calculus
レーブの定理
Löb's theorem連言標準形
Conjunctive normal form
ロッサーのからくり
Rosser's trick
論理式 (数学)
Logical formula
論理プログラミング
Logic programming
数学
Mathematics
0.999...
0.999...▼-1 trends
0次元
Zero-dimensional space