Other formalizations of set theory have been proposed, including von Neumann-Bernays-Gödel set theory (NBG), Morse-Kelley set theory (MK), and New Foundations (NF).
The continuum hypothesis, first proposed as a conjecture by Cantor, was listed by David Hilbert as one of his 23 problems in 1900.