演繹システムのパート分類（モジュラー／レイヤード設計・実装のため）： 分野固有パート 論理パート（分野によらない共通パート） 分野固有パートは： 個体レベル 型レベル 論理パート 命題レベル 推論レベル システムが単ソート〈single{- | }sort{ed}?〉…

メタ(形容詞)＝我々が生きている現実世界の … 対象(形容詞)＝我々が調査と考察の対象（目的物）とする数学的モデル（対象演繹システム）内の … 例： メタ記号 vs. 対象記号 メタ変数 vs. 対象変数 メタ命題 vs. 対象命題 メタ定理 vs. 対象定理 メタ側がモヤ…