De hecho, la gran mayoría de las demostraciones en las matemáticas escritas puede ser considerada como aplicaciones de lógica informal rigurosa.