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.
Modern English dictionary
Explore and search massive catalog of over 900,000 word meanings.
Word of the Day
Get a curated memorable word every day.
Challenge yourself
Level up your vocabulary by setting personal goals.