Development of Mathematical Logic |
Other editions - View all
Common terms and phrases
a₁ additional axioms argument assignment axiom of choice Brouwer class of sentences conjunction consider consistent contains contradiction d₁ decision procedure Deduction Theorem denote derivable disjunction domain equation equivalent finite number follows free variables function f function sign functions of height given Gödel's induction infinite instance integer introduced intuitionist logic mathematics modulo natural numbers negation obtained ordinal p v q P₁ polynomials predicate logic predicate variables prime primitive recursive arithmetic primitive recursive function proof provable sentences Q is provable quantifiers recursive arithmetic recursive predicate recursive set recursively enumerable relation result rules of inference S₁ satisfiable self-dual sentence logic sentence variables sequent logic set theory Sheffer function subset substitution take the value tautology term tertium non datur theorem holds true truth tables truth values undecidable universally valid v₁ zero