Věta je tvrzení, které bylo prokázáno jako pravdivé. Není předpokládáno ani vyvozováno z domněnky; vyplývá z axiomů, definic a dříve dokázaných výsledků logickou dedukcí. Důkaz je to, co činí větu spolehlivou.

Mezi slavné věty patří Pythagorova věta, základní věta matematické analýzy a Fermatova poslední věta. Některé věty jsou jednoduché, jiné zaberou stovky stran k dokázání. Věta o čtyřech barvách byla první významnou větou dokázanou s pomocí počítače.

Věty jsou hlavními výsledky matematiky. Jsou pojmenovávány, číslovány a odkazovány. Věta může mít důsledky, lemmata a zobecnění. Proces dokazování vět je jádrem matematického výzkumu.

• Tvrzení prokázané logikou
• Vyplývá z axiomů a předchozích výsledků
• Příklady: Pythagorova teorie, Fermatova teorie
• Důkaz je to, co potvrzuje pravdu