formula_47中任意相应的集合；则formula_89是formula_47的子集（实际上它属于formula_47）。
在集合论中.正式来说，可以给出一个精确定义，来说明为何formula_83为一般数学的全集；这是策梅洛集合论的模型。策梅洛集合论是由恩斯特·策梅洛最初在1908年提出的公理集合论。策梅洛集合论的成功完全在于它能够公理化"一般"数学，完成了康托尔在三十年之前开始的课题。但策梅洛集合论对进一步发展公理集合论和数学基础中的其他工作，特别是模型论，是不够的。举一个