|  | 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:
 En formodning er en formodet sætning, da det endnu ikke er afklaret om den kan bevises. Se f.eks. Goldbach's formodning. 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.
 
Se også
 
 
 
 
 
 Denne artikel er fra Wikipedia. Læs artiklen hos Wikipedia.
 |  
 
 |