## Introduction to Metamathematics |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

THE THEORY OF SETS | 3 |

SOME FUNDAMENTAL CONCEPTS | 19 |

Intuitionism | 46 |

Copyright | |

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