Demostración Matemática

Na argumentación pueden usase otres afirmaciones primeramente establecíes, tales como teoremas o bien les afirmaciones iniciales o axomes. En principiu una demostración puede rastrexase hasta afirmaciones xeneralmente aceptaes, conocíes como axomes. Les demostraciones son exemplos de razonamientu deductivu y estrémense d'argumentos inductivos o empíricos; una demostración tien de demostrar qu'una afirmación ye siempres verdadera (dacuando al listar tolos casos posibles y amosar que ye válida en cada unu), más que numberar munchos casos confirmatorios. Una afirmación ensin probar que se cree verdadera conozse como conxetura.

Les demostraciones empleguen lóxica pero de normal inclúin una bona parte de llinguaxe natural, que usualmente almite dalguna ambigüedá. Ello ye que la gran mayoría de les demostraciones nes matemátiques escrites pue ser considerada como aplicaciones de lóxica informal rigorosa. Les demostraciones puramente formales, escrites en llinguaxe simbólicu en llugar de llinguaxe natural, #considerar en teoría de la demostración. La distinción ente demostraciones formales ya informales llevó a esaminar la lóxica matemática histórica y actual, el cuasi-empirismu matemáticu y el formalismu matemáticu. La filosofía de les matemátiques concierne al rol del llinguaxe y la lóxica nes demostraciones, y nes matemátiques como llinguaxe.

El fechu de nun conocer nenguna demostración d'un teorema nun implica la so non veracidá; namái la demostración de la negación d'esta resultancia implica que ye falsu.