Teorema: diferèntzias tra is versiones

In [[matemàtica]] po teorema, in sensosensu strettostrintu, si narat una propositzioi chi benit dimostrada aintru a una [[teoria formali]] (cumenti a onni atra propositzioi chi benit de is [[assioma]]sa de sa teoria atressu unu manixu de dimostratzioi) e chi in d-una espositzioi sistemàtica de sa teoria benit presentau cumenti arrisurtau d'importantzia meda. Su rolu importanti diferentziat is teoremas de [[lemma]]s, de is [[corollariu]]s e de is fàcilis propositziois de sa teoria. Unu teorema est insarasa una [[implicatzioi logica]] intra dus predicaus.