Slovo Theorem pochází z latinského theorēma, není to zjevná pravda, ale je prokazatelné. Věty vycházejí z intuitivních vlastností a mají výlučně deduktivní charakter, a proto je vyžadován typ logického uvažování (důkazu) jako absolutní pravdy.
Některé příklady věty jsou následující: čtverec součtu přepony se rovná součtu čtverců nohou. Pokud číslo končí nulou nebo pěti, je dělitelné pěti.
V postulátech (intuitivní pravda s dostatečným množstvím důkazů, které lze jako takové přijmout), jako jsou věty, je podmíněná (hypotéza) a závěr (teze), který je považován za splněný, pokud je podmíněná část nebo hypotéza platná. Věty vyžadují důkaz, který není ničím jiným než řadou zřetězených úvah, které jsou podporovány postuláty nebo jinými již prokázanými teorémy nebo zákony.
Je velmi důležité vzít v úvahu vzájemnost věty. Tím se stává další věta, jejíž hypotéza je tezí první (přímá věta) a jehož tezí je hypotéza přímé věty. Například:
Přímá věta, pokud číslo končí nulou nebo pěti (hypotéza), bude dělitelné pěti (práce).
Reciproční věta, je-li číslo dělitelné pěti (hypotéza), musí končit nulou nebo pěti (teze). Musíte být velmi opatrní, protože reciproční věty nejsou téměř vždy pravdivé.
Mezi nejznámější věty v historii patří: Pythagorasova, Thalesova, Fermatova, Euklidesova, Bayesova, mezní hodnota, prvočísla, Morley, mimo jiné.
