Lause (matematiikka)

Lause eli teoreema tarkoittaa matematiikassa propositiota, joka on tosi.

Lauseeksi kutsutaan erityisesti jonkin matemaattisen teorian rakentamisessa keskeiseksi osoittautuvaa tulosta. Jonkin toisen lauseen todistamisessa käytettyä lausetta kutsutaan apulauseeksi tai lemmaksi. Jostakin lauseesta helposti seuraavaa lisätulosta kutsutaan seuraukseksi tai korollaariksi.

Teoreemaan liitetään tavanomaisesti itse proposition lisäksi sen totuuden aukottoman loogisesti osoittava matemaattinen todistus.

Mikäli propositiota arvellaan todeksi, mutta todistusta ei ole vielä keksitty, propositiota ei kutsuta lauseeksi, vaan konjektuuriksi.

Matemaattinen logiikka
Seulonnan keskeiset artikkelit