Similar to タルスキの定義不可能性定理
タイプとトークンの区別
Type–token distinction論理的真理
Logical truth技術知
Techne客観性 (哲学)
Objectivity (philosophy)虚構主義
Fictionalismサティヤーグラハ
Satyagraha真理
Truth真理の整合説
Coherentism真理の対応説
Correspondence theory of truth諦
Satya妥当性
Validity (logic)数理論理学
Mathematical logic一階述語論理
First-order logic一般と特殊 (数学)
Special case意味論 (論理学)
Semantics宇宙 (数学)
Universe (mathematics)型理論
Type theory関係 (数学)
Finitary relation関係代数 (数学)
Relation algebra関係の合成
Composition of relations完全関係
Connected relation完全性
Completeness (logic)カントールの往復論法
Back-and-forth method記述計算量
Descriptive complexity theory帰納言語
Recursive language帰納的可算言語
Recursively enumerable language帰納的可算集合
Computably enumerable set逆関係
Converse relation