A Theory of SetsAcademic Press, 27.05.1986 - 178 Seiten This book provides graduate students and professional mathematicians with a formal unified treatment of logic and set theory. The formalization can be used without change to build just about any mathematical structure on some suitable foundation of definitions and axioms. In addition to most of the topics considered standard fare for set theory several special ones are treated. This book will be found useful as a text for a substantial one-semester course in set theory and that the student will find continuing use for the formal and highly flexible language |
Inhalt
Chapter 0 Language and Inference | 1 |
Chapter 1 Logic | 39 |
Chapter 2 Set Theory | 63 |
Appendix A The Construction of Definitions | 153 |
Appendix B The Consistency of the Axiom of Size | 163 |
Appendix C Axiomatic Equivalence | 167 |
169 | |
173 | |
Häufige Begriffe und Wortgruppen
accepted agree AGREEMENT appear Ax ux Ax(ux axioms Based Borel F cardinal Chapter conclusion consequence consistent constants constructed definition definition each expression desired detachment dmn f Ex ux example follows formal formula function function is f given hand Hence Hint indicial Induction infer initial interested language lemma logic mark mathematical nest obtained orderedpair p a q parenthetical present principle Proof reasoning reit relation Remark respectively ring RULE schematic expressions scsr set theory sng xec Step strc substitution symbol theorem theorem is obtained THEORENAS u'xy univalent universal variable xe Q