schematic variable
(Greek mythology, Roman mythology) The food of the gods, thought to confer immortality. / (Greek mythology, Roman mythology) The anointing-oil of the gods.
(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.
having a rough, surly, and harsh demeanor and nature. / hoarse-voiced.
Synonym of urinary
形式的導出では、メタ変数αは公理スキーマ内の式全体を取りうるものであり、個体について量化される対象言語の変数と混同してはなりません。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
