The theory of ordinals in GST
Overview
Introduction
Definitions 2.1 and 2.3
Theorem 2.2
Theorem 2.4
Definition 2.6
Theorem 2.7
Theorem 2.8
The Definition of Rank
Proof Context
©
V