 Na bafraze minei to na nse na yango, limbolá nini ezali elembeteli na matematiki.
 Preuve ezali argument logique oyo esalela ensemble ya ba axiomes to ba déclarations oyo e prouvé liboso pona kolakisa bosolo ya déclaration mathématique. Esalaka na kozua ba conclusions na série ya ba prémisses to na contradiction, kolakisa que déclaration esengeli ezala ya solo na ba cas nionso possibles. Ba preuves epesaka nzela ya makasi ya ko établir pe ko vérifier ba théorèmes, oyo ezali ba faits générales to ba principes oyo ekoki kosalelama pona ko résoudre ba problèmes complexes. Elembeteli esengeli kozala mobimba, oyo ezali na ntina na ndenge ya mayele, mpe kozanga makambo oyo ezali na ndimbola mibale to oyo ezali na bokeseni mpo na kotalela yango lokola oyo ezali na ntina na matematiki.