Věta je v matematice dokázaná myšlenka. Věty se dokazují pomocí logiky a jiných již dokázaných vět. Věta, kterou někdo musí dokázat, aby mohl dokázat jinou větu, se nazývá lemma. Věty se skládají ze dvou částí, jsou to hypotézy a závěry.
Na rozdíl od teorií, které jsou empirické, teorie používají dedukci.
Některé věty jsou triviální, vyplývají přímo z propozic. Jiné věty se nazývají "hluboké", jejich důkaz je dlouhý a obtížný. Někdy takové důkazy zahrnují i jiné oblasti matematiky nebo ukazují souvislosti mezi různými oblastmi. Věta může být jednoduše formulovaná, a přesto může být hluboká. Vynikajícím příkladem je Fermatova poslední věta a existuje mnoho dalších příkladů jednoduchých, ale hlubokých vět, mimo jiné v teorii čísel a kombinatorice.
Existují i další věty, pro které je znám důkaz, ale nelze jej snadno zapsat. Mezi nejlepší příklady patří věta o čtyřech barvách a Keplerova domněnka. O obou těchto větách se ví, že jsou pravdivé, pouze díky tomu, že se redukují na výpočetní hledání, které je pak ověřeno počítačovým programem. Zpočátku mnoho matematiků tuto formu důkazu nepřijímalo, ale v posledních letech je stále více akceptována. Matematik Doron Zeilberger dokonce zašel tak daleko, že prohlásil, že se pravděpodobně jedná o jediné netriviální výsledky, které kdy matematici dokázali. Mnoho matematických tvrzení lze redukovat na jednodušší výpočet, včetně polynomických identit, trigonometrických identit a hypergeometrických identit.
