What people are saying - Write a review
We haven't found any reviews in the usual places.
THE THEORY OF SETS
SOME FUNDAMENTAL CONCEPTS
81 other sections not shown
Other editions - View all
Common terms and phrases
application arithmetic Assume Axiom Schema axioms bound Chapter classical completely computation conclusion consider consistency constant constructed containing Corollary corresponding deduction defined definition depends distinct domain effectively entities enumerable equality equations equivalent establish EXAMPLE exists expressed extended finite formal system give given Gödel number Hence hold hypothesis induction inference interpretation intuitionistic Lemma letter formula logical machine mathematics means metamathematical method natural numbers notion number-theoretic objects obtain occur operation P₁ partial recursive particular postulates predicate calculus predicate letter primitive recursive principal problem proof proposition proposition letter propositional calculus provable prove quantifiers realizes recursive function Remark replace representing respectively result rules S₁ satisfied sense sequence Similarly simply situation square step substitution Suppose symbols Theorem theory true variables VxA(x