公理化思想及构成公理化体系的要求

- 欧几里得与《原本》 - - Euclid（about 325 BC - about 265 BC） - 《几何原本》