基本信息

---

下载

文档摘要

---

table{border?collapse:collapse;}table,th,td{border:1pxsolid#000;}

第五章

逻辑和形式系统的基础知识

5.1形式系统和模型

形式化或公理化是科学系统化的更广泛目标的产物。欧几里得通过展示如何从少数被认为

是的原理（即公理）中逻辑地推导出许多关于几何图形的已知陈述，从而系统化

了几何学。牛顿通过展示如何从三条基本陈述中推导出已知的运动定律，无论是行星的还

是地球上的，从而系统化了力学。在这两种情况下，初始假设都是