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