(logic) A variable that appears in an axiom schema and ranges over formulas, distinguished from the variables of the axiom schema that are quantified over and that range over the individuals of the universe of discourse.
schematic variable
形式的導出では、メタ変数αは公理スキーマ内の式全体を取りうるものであり、個体について量化される対象言語の変数と混同してはなりません。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
