エルンスト・ツェルメロ(ErnstZermelo)は1908年に出版された、現代的集合論の基礎となった論文("UntersuchungenüberdieGrundlagenderMengenlehreI"（集合論の基礎についての研究I）)において、上の形に同一な（彼が「カントールの定理」と呼ぶ）定理を持つ。
恩斯特·策梅洛在他1908年发表的成为现代集合论基础的论文《UntersuchungenüberdieGrundlagenderMengenlehreI》中有一个定理（他称之为康托尔定理）同于上面的论证形式。