Category:数理論理学
正論理
単純集合
Simple set
一般と特殊 (数学)
Special case
意味論 (論理学)
Semantics
宇宙 (数学)
Universe (mathematics)
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
関係の合成
Composition of relations
ギルモアのアルゴリズム
構造主義 (数学の哲学)
Structuralism (philosophy of mathematics)
絶対性 (数理論理学)
Absoluteness (logic)独立性 (数理論理学)
Independence (mathematical logic)
変数 (数学)
Variable (mathematics)論理式 (数学)
Logical formula
自己認識論理
Autoepistemic logic
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
ゲーム意味論
Game semantics
定義可能集合
Definable set
ブール領域
Boolean domain
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
構造的帰納法
Structural induction
決定可能性
Decidability (logic)ゲーデル数
Gödel numbering
議論領域
Domain of discourseハルモス代数
Polyadic algebra
必要条件
Necessary condition
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
超数学
Metamathematics