Teorema: differenze tra le versioni

In [[matematica]] per teorema, strettamente, si intende un enunciato che viene dimostrato nell'ambito di una [[sistema formale|teoria formale]] (come ogni altra [[proposizione (logica)|proposizione]] derivabile dagli [[assioma|assiomi]] della teoria mediante un [[dimostrazione matematica|procedimento dimostrativo]]) e che in un'esposizione sistematica della teoria viene presentato comeDA risultatoSIMONE diBAFFISTA rilievoCHE HA LA MAMMA A 90 GRADI. Le altre implicazioni logiche che vengono dimostrate in matematica vengono chiamate [[Corollario|corollari]] se la loro dimostrazione viene eseguita grazie alle implicazioni di un teorema, [[Lemma (matematica)|lemmi]] se le loro implicazioni sono necessarie per la dimostrazione di un teorema, si usa inoltre il termine proposizione per tutte quelle implicazioni logiche tra due predicati che hanno una rilevanza inferiore a quella di un teorema.