Similar to メタ論理学
Μ再帰関数
General recursive function無限
Infinity
無限論理
Infinitary logic矛盾許容論理
Paraconsistent logic
命題関数
Propositional function
メタ理論
Metatheory
メレオロジー
Mereology
有限演算
Finitary
有限モデル理論
Finite model theoryラムダ計算
Lambda calculus
レーブの定理
Löb's theorem連言標準形
Conjunctive normal form
ロッサーのからくり
Rosser's trick
論理式 (数学)
Logical formula
論理プログラミング
Logic programming
形式言語
Formal language
使用と言及の区別
Use–mention distinction
タイプとトークンの区別
Type–token distinction
メタ変数
Metavariable
メタ哲学
Metaphilosophyジュニャーナ
Jñāna
シンクレティズム
Syncretismメタ存在論
Meta-ontology
メタデザイン
Metadesignメタ倫理学
Metaethics
