阿基米德的著作中（）是现存的唯一一篇算术论文；《论平板的平衡》是关于力学的最早的科学论著；《论浮体》是古代第一部流体静力学的著作，是第一次将数学用于流体静力学。

数学史上关于圆周率最早的记载是在阿基米德（）中求得圆周率的取值范围。

填空题数学史上关于圆周率最早的记载是在阿基米德（）中求得圆周率的取值范围。

亚里士多德最早从形式结构上来论述演绎推理，从而第一次全面、系统地研究了逻辑学的各种主要问题，由他开创了形式逻辑...

填空题亚里士多德最早从形式结构上来论述演绎推理，从而第一次全面、系统地研究了逻辑学的各种主要问题，由他开创了形式逻辑的古典阶段，因此被称为“逻辑之父”，他的（）是世界上第一部完备的逻辑学。

欧几里得（）是世界历史上第一个用公理化方法建立起来的逻辑演绎体系的代表作。

填空题欧几里得（）是世界历史上第一个用公理化方法建立起来的逻辑演绎体系的代表作。