须被“分离”为已经“给出”的集合的子集。他说这消除了矛盾性的想法如“所有集合的集合”或“所有序数的集合”。
康托尔定理.Zermelo的论文因第一次提及康托尔定理而着名。它严格的凭借了集合论的概念，因此不完全同于最初的康托尔对角论证法。