Item:Q13437: Difference between revisions
Created claim: subclass of (P1): ordinal number (Q27) |
Created claim: defining formula (P333): 0, 1, 2, 3, \ldots, n, \ldots ; \aleph_0, \aleph_1, \aleph_2, \ldots, \aleph_{\alpha}, \ldots |
||
| (One intermediate revision by the same user not shown) | |||
| Property / part of | |||
| Property / part of: class of cardinal numbers / rank | |||
Normal rank | |||
| Property / defining formula | |||
0, 1, 2, 3, \ldots, n, \ldots ; \aleph_0, \aleph_1, \aleph_2, \ldots, \aleph_{\alpha}, \ldots | |||
| Property / defining formula: / rank | |||
Normal rank | |||
