Zermelo's categoricity theorem

In mathematical set theory, Zermelo's categoricity theorem was proven by Ernst Zermelo in 1930. It states that all models of a certain second-order version of the Zermelo–Fraenkel axioms of set theory are isomorphic to a member of a certain class of sets.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.