Russell's paradox
介绍声称了集合论学科的真正存在性，“它好像受到从它的原理推导出的特定矛盾或“自相矛盾”的威胁–这些原理必然支配我们的思维–而完全满意的解决似乎仍未找到。”策梅洛当然指的是罗素悖论。