Similar to 数理論理学
対角化定理
Diagonal lemma
対称関係
Symmetric relation
タルスキの定義不可能性定理
Tarski's undefinability theorem
単純集合
Simple set
置換公理
Axiom schema of replacement
チューリング次数
Turing degree
チューリングジャンプ
Turing jump超現実数
Surreal number
超数学
Metamathematics
デデキント数
Dedekind number
導出原理
Resolution (logic)
独立性 (数理論理学)
Independence (mathematical logic)
二階述語論理
Second-order logic
パースの法則
Peirce's law
ハイティング代数
Heyting algebra
パリス＝ハーリントンの定理
Paris–Harrington theoremハルモス代数
Polyadic algebra
反射関係
Reflexive relation
必要条件
Necessary condition
ヒルベルト・プログラム
Hilbert's program
ブーリアン型
Boolean data type▲1 trends
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
ブール関数
Boolean function
ブール代数
Boolean algebra (structure)▲1 trends
ブール値関数
Boolean-valued function
ブール領域
Boolean domain
部分構造論理
Substructural logic
プリンキピア・マテマティカ
Principia Mathematica