 This implies (as in pocket set theory) that there are two infinite cardinalities, which can be thought of as \(\aleph_0\) and \(c\), though in this context their behavior is less familiar than it is in pocket set theory. For example, the set of all natural numbers (as Vopenka defines it) is of cardinality \(c\), while there is an initial segment of the natural numbers (the finite natural numbers) which has the expected cardinality \(\omega\).