schematic variable
(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.
(Greek mythology, Roman mythology) The food of the gods, thought to confer immortality. / (Greek mythology, Roman mythology) The anointing-oil of the gods.
Synonym of urinary
having a rough, surly, and harsh demeanor and nature. / hoarse-voiced.
形式的導出では、メタ変数αは公理スキーマ内の式全体を取りうるものであり、個体について量化される対象言語の変数と混同してはなりません。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
