Ero sivun ”Lause (matematiikka)” versioiden välillä

'''Teoreema''' on [[propositio]], joka on tosi. Tällä nimellä kutsutaan tavallisesti [[matematiikka|matemaattisen]] teorian[[teoria]]n rakentamisessa keskeiseksi osoittautuvaa lausetta. Teoreemien muodostamisessa käytetään usein ns. apulauseita, [[lemma|lemmoja]].

Eräs hieno esimerkki teoreemasta ja sen todistuksesta on [[Eukleides|Eukleideen]] antama:

:Teoreema: "Suurinta [[alkuluku]]a ei ole olemassa"

:[[Matemaattinen todistus|Todistus]]: Oletetaan että suurin alkuluku p sittenkin löytyy. Kerrotaan kaikki alkuluvut keskenään ja lisätään tulokseen 1. Tulos ei olisi kuitenkaan jaollinen millään alkuluvulla, joten se olisi sittenkin p:tä suurempi alkuluku. Siten suurinta alkulukua ei voi olla olemassa.