a razonamiento matemático
El razonamiento matemático puede referirse tanto al razonamiento formal como al razonamiento no estrictamente formal usado para demostrar proposiciones y teoremas matemáticos. Generalmente la mayor parte de textos sobre matemáticas no usan pruebas puramente formales en que los resultados se derivan directamente de axiomas, ya que son poco intuitivas y difíciles de comprobar, por el contrario usan términos derivados y definiciones así como construcciones informales y usan frecuentemente la "reductio ad absurdum" y el principio del "tertium exclusum". En la actualidad, las demostraciones matemáticas complejas requieren a veces meses completos de verificación, así sucedió por ejemplo la demostración del Último teorema de Fermat por parte de Andrew Wiles (la primera demostración de 1993 que ofreció al ser revisada resultó ser incorrecta en algunos detalles que fueron enmendados en 1995).