|
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:
- Lemma - følgesætning.
- Korollar - vigtig følgesætning.
- Proposition - En sætning som er sand og som bliver bevist lige efter i den aktuelle tekst.
- Sætning eller teorem.
- 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.
|

|