Euclides (hacia el 300 a. C.) dio el ejemplo más temprano de la metodología matemática usada hoy día, con definiciones, axiomas, teoremas y demostraciones.