Set Theory and Its Logic: Revised EditionHarvard University Press, 1969 - 361 Seiten This is an extensively revised edition of W. V. Quine’s introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller terms than before. |
Inhalt
I | 1 |
II | 7 |
III | 9 |
V | 15 |
VI | 21 |
VII | 28 |
IX | 34 |
X | 40 |
XXXII | 174 |
XXXIV | 180 |
XXXV | 184 |
XXXVI | 193 |
XXXVIII | 203 |
XXXIX | 208 |
XL | 217 |
XLI | 224 |
XI | 47 |
XIII | 53 |
XIV | 58 |
XV | 65 |
XVI | 74 |
XVIII | 81 |
XIX | 86 |
XX | 96 |
XXI | 101 |
XXII | 107 |
XXIII | 117 |
XXIV | 119 |
XXV | 124 |
XXVI | 130 |
XXVII | 139 |
XXVIII | 145 |
XXIX | 150 |
XXX | 160 |
XXXI | 170 |
XLII | 231 |
XLIII | 239 |
XLIV | 241 |
XLV | 249 |
XLVI | 259 |
XLVII | 266 |
XLIX | 272 |
L | 279 |
LI | 287 |
LIII | 292 |
LIV | 299 |
LV | 310 |
LVI | 315 |
LVII | 323 |
LVIII | 331 |
LIX | 333 |
343 | |
353 | |
Andere Ausgaben - Alle anzeigen
Häufige Begriffe und Wortgruppen
ancestral argument arithmetic attributes Aussonderung axiom of choice axiom of infinity axiom schema Bernays called Cantor's theorem class abstracts comprehension axioms comprehension premisses comprehension schema defined definition extensionality follows formula free variables Frege Func further Gödel hence impredicative individuals infinite cardinals infinite classes least bound less to greater mathematical induction natural numbers Neumann Neumann-Bernays system notation notion number theory ordered pairs ordinal number primitive predicate Proof propositional functions prove ratios real numbers Russell's paradox schema of replacement schemata Schröder-Bernstein theorem sense sequence set theory sethood simply stratified subclass theorem schema theory of classes theory of types things tion transfinite recursion typical ambiguity ûFu ultimate classes virtual theory well-ordering Whitehead and Russell x)Fx Zermelo's system