5 suhteet: Konjektuuri, Lemma, Matemaattinen todistus, Propositio, Teoria.
Konjektuuri
Konjektuuri eli otaksuma on matemaattinen väite, jonka arvellaan olevan tosi, mutta jota kukaan ei ole vielä todistanut todeksi tai epätodeksi.
Uusi!!: Lause (matematiikka) ja Konjektuuri · Katso lisää »
Lemma
Lemma eli apulause kuuluu osana loogiseen päättelyyn.
Uusi!!: Lause (matematiikka) ja Lemma · Katso lisää »
Matemaattinen todistus
Matemaattinen todistus tarkoittaa muodollista todistusta, joka täyttää seuraavat ehdot.
Uusi!!: Lause (matematiikka) ja Matemaattinen todistus · Katso lisää »
Propositio
Propositio eli väitelause on propositiologiikassa jotakin seikkaa, tapahtumaa tai asiantilaa ilmaiseva lause.
Uusi!!: Lause (matematiikka) ja Propositio · Katso lisää »
Teoria
Teoria on mietiskelevä ja rationaalinen tyyppi abstrahoidusta tai yleistävästä ajattelusta, tai sellaisen ajattelun lopputulos.
Uusi!!: Lause (matematiikka) ja Teoria · Katso lisää »