Item:Q13438: Difference between revisions
Created claim: instance of (P2): proper class (Q13439) |
Created claim: defining formula (P333): K=\{ 0, 1, 2, 3, \ldots, n, \ldots \} \cup \{ \aleph_0, \aleph_1, \aleph_2, \ldots, \aleph_{\alpha}, \ldots \} |
||
Property / defining formula | |||
K=\{ 0, 1, 2, 3, \ldots, n, \ldots \} \cup \{ \aleph_0, \aleph_1, \aleph_2, \ldots, \aleph_{\alpha}, \ldots \} | |||
Property / defining formula: / rank | |||
Normal rank |