Last Updated：2025/11/25
(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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
schematic variable
Edit Histories（0）
Source Word
schematic variable
（ plural ）
