Lause (matematiikka)
Wikipedia
Ohjattu sivulta Teoreema
Teoreema on propositio, joka on tosi. Tällä nimellä kutsutaan tavallisesti matemaattisen teorian rakentamisessa keskeiseksi osoittautuvaa lausetta. Teoreemien muodostamisessa käytetään usein ns. apulauseita, lemmoja.
Teoreemaan liitetään tavanomaisesti itse proposition lisäksi sen totuuden aukottoman loogisesti osoittava matemaattinen todistus.
