舒兹迪克

• 外延公理
• 子集公理
• 连续统假设
• 一般递归函数
• 平行公设
• 原始递归函数
• 递归函数
• 句子
• Skolem 范式
• von Neumann-Bernays-Gödel 集合论
• Zermelo-Fraenkel 公理