模型論

• Löwenheim-Skolem 定理
• 模型完備化
• 模型論
• 半代數集
• Wilkie 定理