Věty jsou potřeba a zvláštní zájem matematiky a když se o nich mluví, odkazuje se na ta tvrzení, která lze prokázat jako pravdivá v logickém rámci.
Obecně platí, že teorémy jsou složené z řady podmínek, které lze vyjmenovat nebo předvídat předem, na které se nazývají reakce. V návaznosti na ně se objeví závěr nebo matematické tvrzení, které bude zjevně vždy pravdivé v podmínkách dané práce, tedy především v informativním obsahu věty, bude stanoven vztah, který existuje mezi hypotéza a teze nebo dokončení práce.
Ale pro matematiku je něco nevyhnutelného, když se určité tvrzení může stát teorémem, a to je to, že musí být dostatečně zajímavé v matematické komunitě i pro ni, jinak to bohužel může být prostě motto, důsledek nebo prostě návrh. , nikdy se nemůže stát teorémem.
A abychom si problematiku trochu více objasnili, je také potřeba rozlišovat pojmy, které jsme zmínili výše, abychom, i když nejsme součástí matematického společenství, dokázali rozpoznat, kdy jde o větu, lemma, důsledek nebo návrh.
Lemma je návrh, ano, ale je součástí delší věty. Důsledkem je tvrzení, které následuje po větě, a nakonec tvrzení je výsledkem, který není spojen s žádnou konkrétní větou.
Na začátku jsme naznačili, že teorém je tvrzení, které lze dokázat pouze v logickém rámci, zatímco logickým rámcem odkazujeme na množinu axiomů nebo axiomatický systém a proces inference, který nám umožní odvodit teorémy z axiomy a teorémy, které již byly odvozeny dříve.
Na druhou stranu, konečná posloupnost dobře vytvořených logických vzorců bude nazývána důkazem této věty.
Ačkoli ne se zvláštní pozorností, kterou matematika věnuje větám, disciplíny jako fyzika nebo ekonomie obvykle produkují tvrzení, která jsou odvozena od jiných a která se také nazývají věty.
