XI RUSSELL'S THEORY OF TYPES

Kapitel in diesem Buch

1. Frontmatter i
2. PREFACE TO THE REVISED EDITION vii
3. PREFACE TO THE FIRST EDITION ix
4. CONTENTS xv
5. INTRODUCTION 1
6. PART ONE THE ELEMENTS
7. I LOGIC 9
8. II REAL CLASSES 28
9. III CLASSES OF CLASSES 47
10. IV NATURAL NUMBERS 74
11. V ITERATION AND ARITHMETIC 96
12. PART TWO HIGHER FORMS OF NUMBER
13. VI REAL NUMBERS 119
14. VII ORDER AND ORDINALS 139
15. VIII TRANSFINITE RECURSION 174
16. IX CARDINAL NUMBERS 193
17. X THE AXIOM OF CHOICE 217
18. PART THREE AXIOM SYSTEMS
19. XI RUSSELL'S THEORY OF TYPES 241
20. XII GENERAL VARIABLES AND ZERMELO 266
21. XIII STRATIFICATION AND ULTIMATE CLASSES 287
22. XIV VON NEUMANN'S SYSTEM AND OTHERS 310
23. SYNOPSIS OF FIVE AXIOM SYSTEMS 331
24. LIST OF NUMBERED FORMULAS 333
25. BIBLIOGRAPHICAL REFERENCES 343
26. INDEX 353