《几何原本》是人类历史上最早的演绎的公理化体系。