2

On the basis of a full axiom of comprehension, Weber shows that there is a set of all sets, which he denotes V, and a set of all ordinals, which he denotes On. He uses von Neumann’s definition of a cardinal as the smallest ordinal equinumerous with the set. From this it follows that On is itself a cardinal number, since it is the least of its size. In fact, ...


Only top voted, non community-wiki answers of a minimum length are eligible