Greek mathematician who applied the deductive principles of logic to geometry, thereby deriving statements from clearly defined axioms.

• 欧几里德古希腊数学家，他把逻辑学中的演绎原理应用到几何学中，籍以由定义明确的公理导出语句