Gilbert Leinbaugh Sward

1930

• Transfinite sequences of axiom systems for set theory