## Introduction to axiomatic set theory |

### What people are saying - Write a review

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

### Contents

Introduction page | 1 |

The General Theory of Classes | 14 |

Sets Relations and Functions | 47 |

2 other sections not shown

### Other editions - View all

### Common terms and phrases

1-1 function asymmetric atomic sentences axiom of choice axiom of extensionality axiom of infinity AXIOMATIC SET THEORY Cantor's theorem cardinal chapter class abstract class of sets conclude conn consider contradiction Conversely define definition domain equipollent equivalence relation equivalent example finite class follows by A1 formal given Godel Hence i.e. Set identity theory included infinite integer introduce irreflexive logic mathematical membership natural numbers notation notion null class one-one ordered pairs ordinal numbers pair class predicate calculus Prop proper class propositional calculus prove reader reflexive result follows results concerning right-hand side Russell's paradox SegE(x set theory Set u a Set Set z a subset suppose Set symbols theory of classes theory of ordinals tion transitive variables Vx(Int Vx(Set VxVr(r VxVy(Set x a Set well-ordered wello whence x a Set y a xe{x ze{x zex a zey