Similar to 二階述語論理
タルスキの定義不可能性定理
Tarski's undefinability theorem単純集合
Simple set置換公理
Axiom schema of replacementチューリング次数
Turing degreeチューリングジャンプ
Turing jump超現実数
Surreal number超数学
Metamathematics定義可能集合
Definable setデービス・パトナムのアルゴリズム
Davis–Putnam algorithmデデキント数
Dedekind number導出原理
Resolution (logic)パースの法則
Peirce's lawハイティング代数
Heyting algebraパリス=ハーリントンの定理
Paris–Harrington theoremハルモス代数
Polyadic algebra反射関係
Reflexive relation必要条件
Necessary conditionヒルベルト・プログラム
Hilbert's programブーリアン型
Boolean data typeブール関数
Boolean functionブール代数
Boolean algebra (structure)▲1 trendsブール値関数
Boolean-valued functionブール領域
Boolean domain不動点コンビネータ
Fixed-point combinator部分構造論理
Substructural logicブラリ=フォルティのパラドックス
Burali-Forti paradoxプリンキピア・マテマティカ
Principia Mathematicaプレスバーガー算術
Presburger arithmetic