La teoría de la demostración y la matemática inversa son dos de los razonamientos más recientes de la lógica matemática abstracta.