Statement:
Existence of successor cardinals: For every cardinal \(m\) there is a cardinal \(n\) such that \(m < n\) and \((\forall p < n)(p \le m)\).
Howard_Rubin_Number: 2
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Tarski-1954a: Theorems on the existence of successors of cardinals and the axiom of choice
Book references
Note connections: