(logic) A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions.
axiom scheme
算術を形式化するとき、帰納法のすべての実例を単一のメタ数学的な式にまとめるために、しばしば公理スキーマを導入する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
