最終更新日:2022/12/07
正解を見る
(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.
編集履歴(0)
元となった辞書の項目
axiom schema
noun