2018-11-21 メタレベルと対象レベル 論理 Mx 2018 用語法 メタ(形容詞)=我々が生きている現実世界の … 対象(形容詞)=我々が調査と考察の対象(目的物)とする数学的モデル(対象演繹システム)内の … 例: メタ記号 vs. 対象記号 メタ変数 vs. 対象変数 メタ命題 vs. 対象命題 メタ定理 vs. 対象定理 メタ側がモヤッとしている例: メタ言語 vs. 対象言語 メタ構文 vs. 対象構文 メタ論理 vs. 対象論理 メタ数学 vs. 対象数学 機械的に(語感とかニュアンスとかは一切考慮しないで)「メタ」と「対象」を付けて区別する。