Last Updated：2025/11/25
(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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
axiom schema
Edit Histories（0）
Source Word
axiom schema
Noun
Japanese Meaning
公理スキーマとは、形式的な公理体系の言語で記述される定式であり、その中に1つ以上のスキーマ変数が含まれている。これらの変数は、その体系内の任意の項や部分式を表し、場合によっては特定の条件を満たす必要があることもある。
（ plural ）
（ plural ）
