El desarrollo de las matemáticas hacia una mayor precisión ha conducido, como es bien sabido, a la formalización de grandes extensiones de las mismas, de modo que se puede demostrar cualquier teorema utilizando únicamente unas pocas reglas mecánicas.