Sætning (matematik): Forskelle mellem versioner

Content deleted Content added
embed {{Autoritetsdata}} with wikidata information
m →‎Intro: Sproglige rettelser af grammatik, stavning og markup i Wiki-kode
Linje 1:
{{harflertydig|Sætning}}
En '''matematikmatematisk sætning''' (synonym: '''teorem''', bruges sjældent i [[ren matematik]]) er en sandhed inden for et [[formelt system]]. Det formelle system fastlægges normalt gennem antagelsen af visse [[aksiom]]er (grundantagelser), som ikke [[bevis (matematik)|bevises]].
 
Sætninger af forskellig vigtighed og funktion har forskellige navne:
Linje 10:
# '''Fundamentalsætning''', '''Hovedsætning''' – Et særligt vigtigt resultat af grundlæggende betydning inden for et helt område.
 
Nogle [[matematiker|matematikere]]e bruger også andre navne for sætninger, fx [[postulat]], [[skolium]] eller [[sublemma]].
 
Efter hver af de ovennævnte typer af sætninger anføres et [[bevis (matematik)|bevis]] (medmindre resultatet er så enkelt, at beviset skønnes indlysende for læseren).
 
En [[formodning (matematik)|formodning]] er en formodet sætning, om, hvilken det endnu ikke er afklaret, omhvorvidt den kan bevises eller modbevises. Se for eksempel [[Goldbachs formodning]].
 
== Se også ==