Matematická věta: Porovnání verzí

Smazaný obsah Přidaný obsah
Luckas-bot (diskuse | příspěvky)
m robot přidal: ms:Teorem
Bez shrnutí editace
Řádek 1:
V [[matematika|matematice]] se jako '''věta''' označuje důležité netriviální a dostatečně obecné tvrzení neboli [[výrok (logika)|výrok]].
 
Aby se však takové tvrzení dalo považovat za větu, je třeba podat jeho [[matematický důkaz|důkaz]], to znamená logickým postupem ho odvodit z [[definice|definic]], [[axiómaxiom]]ů a z již dříve dokázaných vět.
 
Důkaz se za součást věty nepovažuje, a k jedné větě může existovat i více různých důkazů. Přesto je dokazování různých tvrzení jednou ze základních metod práce matematiků. Důkaz totiž hraje v matematice a [[logika|logice]] podobnou roli jako [[Pokus|experiment]] v empirických vědách: pomáhá odlišit [[hypotéza|hypotézy]], domněnky a nesmysly od nesporné jistoty.