策梅洛集合论（），设立自恩斯特·策梅洛在1908年的重要论文，它是现代集合论的祖先。它与它的后代有特定的差别，经常被误解并经常被误引用。本文架设最初的公理，带有最初的文本（从德文译成了英文）和编号。
与标准集合论的联系.公认的标准集合论是Zermelo-Fraenkel集合论。其中没有“基本集合公理”的完全对应者。（后来证实单元素集合可以从所谓的“对集公理”推导出来。如果"a"存在，"a"和"a"存在，所以{"a","a"}存在。通过外延性{"a","a"} = {"a"}。）空