Netleksikon - Et online leksikon Netleksikon er ikke blevet opdateret siden 2005. Nogle artikler kan derfor indeholde informationer der ikke er aktuelle.
Forside | Om Netleksikon

Sætning (matematik)

En matematik sætning (synonymer: teorem) er en sandhed indenfor et formelt system, eventuelt under antagelsen af visse aksiomer (grundantagelser).

Normalt bliver sætninger karakteriseret og kan ordnes i et hierarki her med stigende rang:

  1. Lemma - følgesætning.
  2. Korollar - vigtig følgesætning.
  3. Proposition - En sætning som er sand og som bliver bevist lige efter i den aktuelle tekst.
  4. Sætning eller teorem.
  5. Fundamentalsætning.

En formodning er en formodet sætning, da det endnu ikke er afklaret om den kan bevises. Se f.eks. Goldbach's formodning.

Se også



Denne artikel er fra Wikipedia. Læs artiklen hos Wikipedia.





Bolig.com
Boligsite med dagligt opdaterede boligannoncer med lejeboliger og andelsboliger.
Andelsbolig i København
Lejebolig i København
Selvsalg
Realkreditlån
Boligadvokat
Rejseforsikringer
Husk at kontrollere din rejseforsikring inden du tager ud at rejse. Læs mere på: Rejseforsikring
Bilforsikringer
Sammenlign bilforsikringer og find information om forsikringer til din bil på: Bilforsikring


Denne artikel er fra Wikipedia. Denne hjemmeside tager ikke resourcer fra Wikipedias hardware. Netleksikon.dk støtter Wikipedia projektet finansielt. Indholdet er udgivet under GNU Free Documentation License. Kontakt Netleksikon, hvis ophavsretten er krænket.

Antal besøgende: