## The logical foundations of mathematics |

### What people are saying - Write a review

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

### Contents

Firstorder Logic | 1 |

The Origin of Modern Foundational Studies | 68 |

Freges System and the Paradoxes | 76 |

Copyright | |

37 other sections not shown

### Common terms and phrases

abstract algebra axiom of choice axiom of extensionality axiom of infinity cardinal numbers category of sets category theory Chapter closed wff codomain consistent constant letters constructions contradiction defined Definition denumerable domain dummy constant equivalent example Exercise existence expression extensionality fact finite first-order system first-order theory formal system formula free variables Frege's function letters functor given global elements Godel number hypothesis induction interpretation intuitive isomorphic language mathematics means model for ST mono monomorphism morphisms natural deduction natural numbers nonempty normal model notion object obtain operation ordered pair ordinal paradox Peano postulates predicate calculus predicate letter principle proof proper axioms properties provable pullback quantifier real numbers recursive relation restriction result rules of inference satisfies Section sentence sequence set theory stratified subset system F Taut tautology term tion topos true type hierarchy type symbol type theory typical ambiguity unique vbtos