It is thus remarkable that von Neumann's work, designed to show how the transfinite ordinals can be incorporated directly into a pure theory of sets, builds on and coalesces with both Kuratowski's work, designed to show the dispensability of the theory of transfinite ordinals, and also the axiomatic extension of Zermelo's theory suggested by Fraenkel and Skolem.