舒茲迪克

• 外延公理
• 子集公理
• 連續統假設
• 一般遞迴函式
• 平行公設
• 原始遞迴函式
• 遞迴函式
• 句子
• Skolem 正規化
• von Neumann-Bernays-Gödel 集合論
• Zermelo-Fraenkel 公理