b"\n_START_ARTICLE_\nTeorema\n_START_SECTION_\nIn matematica\n_START_PARAGRAPH_\nIn matematica per teorema, strettamente, si intende un enunciato che viene dimostrato nell'ambito di una teoria formale (come ogni altra proposizione derivabile dagli assiomi della teoria mediante un procedimento dimostrativo) e che in un'esposizione sistematica della teoria viene presentato come risultato di rilievo. Le altre implicazioni logiche che vengono dimostrate in matematica vengono chiamate corollari se la loro dimostrazione viene eseguita grazie alle implicazioni di un teorema, 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._NEWLINE_La distinzione fra teoremi e semplici proposizioni della teoria \xc3\xa8 materia opinabile e pu\xc3\xb2 dipendere in parte dalla tradizione, in parte dalla semplicit\xc3\xa0 dell'enunciato e quindi alla facilit\xc3\xa0 di comprenderne il senso e di ricordarlo, in parte da valutazioni sul numero e sul peso delle conseguenze che possono ricavarsi da una proposizione._NEWLINE_In matematica tutte quelle affermazioni ritenute vere ma per le quali non si dispone di una dimostrazione soddisfacente vengono chiamate congetture."