最常见的公理化集合论，表述为一阶逻辑中的理论，其签名仅包含一个二元谓词∈（set membership）。逻辑变元描述∈良基的pure set（即不含不是集合的元素）。 Related First-Order Logic