苏季克

• 外延公理
• 子集公理
• 连续体假说
• 一般递归函数
• 平行假设
• 基本递归函数
• 递归函数
• 句子
• Skolemized形式
• 冯·纽曼-贝内斯-哥德尔集理论
• Zermelo-Fraenkel公理