La idea de las matemáticas como un entramado de teoremas sustentados en axiomas está explícita en los Elementos de Euclides (hacia el 300 a. C.).