This publication is presented to you through Paradigm Publishing Services
Harvard University Press
Chapter
Licensed
Unlicensed
Requires Authentication
SYNOPSIS OF FIVE AXIOM SYSTEMS
You are currently not able to access this content.
You are currently not able to access this content.
Chapters in this book
- Frontmatter i
- PREFACE TO THE REVISED EDITION vii
- PREFACE TO THE FIRST EDITION ix
- CONTENTS xv
- INTRODUCTION 1
-
PART ONE THE ELEMENTS
- I LOGIC 9
- II REAL CLASSES 28
- III CLASSES OF CLASSES 47
- IV NATURAL NUMBERS 74
- V ITERATION AND ARITHMETIC 96
-
PART TWO HIGHER FORMS OF NUMBER
- VI REAL NUMBERS 119
- VII ORDER AND ORDINALS 139
- VIII TRANSFINITE RECURSION 174
- IX CARDINAL NUMBERS 193
- X THE AXIOM OF CHOICE 217
-
PART THREE AXIOM SYSTEMS
- XI RUSSELL'S THEORY OF TYPES 241
- XII GENERAL VARIABLES AND ZERMELO 266
- XIII STRATIFICATION AND ULTIMATE CLASSES 287
- XIV VON NEUMANN'S SYSTEM AND OTHERS 310
- SYNOPSIS OF FIVE AXIOM SYSTEMS 331
- LIST OF NUMBERED FORMULAS 333
- BIBLIOGRAPHICAL REFERENCES 343
- INDEX 353
Chapters in this book
- Frontmatter i
- PREFACE TO THE REVISED EDITION vii
- PREFACE TO THE FIRST EDITION ix
- CONTENTS xv
- INTRODUCTION 1
-
PART ONE THE ELEMENTS
- I LOGIC 9
- II REAL CLASSES 28
- III CLASSES OF CLASSES 47
- IV NATURAL NUMBERS 74
- V ITERATION AND ARITHMETIC 96
-
PART TWO HIGHER FORMS OF NUMBER
- VI REAL NUMBERS 119
- VII ORDER AND ORDINALS 139
- VIII TRANSFINITE RECURSION 174
- IX CARDINAL NUMBERS 193
- X THE AXIOM OF CHOICE 217
-
PART THREE AXIOM SYSTEMS
- XI RUSSELL'S THEORY OF TYPES 241
- XII GENERAL VARIABLES AND ZERMELO 266
- XIII STRATIFICATION AND ULTIMATE CLASSES 287
- XIV VON NEUMANN'S SYSTEM AND OTHERS 310
- SYNOPSIS OF FIVE AXIOM SYSTEMS 331
- LIST OF NUMBERED FORMULAS 333
- BIBLIOGRAPHICAL REFERENCES 343
- INDEX 353