Aunque existe el campo de la teoría de la demostración, éste nada tiene que ver con encontrar patrones de demostración o reglas para encontrar las demostraciones de los teoremas.