模型论

• Löwenheim-Skolem 定理
• 模型完备化
• 模型论
• 半代数集
• Wilkie 定理