Item:Q13437: Difference between revisions
Created claim: part of (P7): class of cardinal numbers (Q13438) |
Created claim: defining formula (P333): 0, 1, 2, 3, \ldots, n, \ldots ; \aleph_0, \aleph_1, \aleph_2, \ldots, \aleph_{\alpha}, \ldots |
||
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 |