Tiurema

(Rinnirizzata di Tiurèma)

Ntâ matimatica pi tiurema si ntenni n'enunciatu chi veni dimustratu cu l'usu di deduzzioni loggichi a partiri di na seri di assiomi e di la cunsiquenti tiuria furmali di pruposizzioni , lemmi, curullari e àutri proprità chi ni cunsècunu. Lu tiurema si diffirenzia di nu lemma e di nu curullariu, pi lu mpurtanza dô risurtatu chi enuncia. Li lemmi sunnu enunciati chi s'addimostranu dila stissa manera, ma chi hannu nu ntiressi tecnicu, prichì servunu a dimustrari nu risurtatu cchiù grossu. Lu è nveci na cunsiquenza facili di dimustrari di nu risurtatu o tiurema cchiù mpurtanti.