En matematisk 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 aksiomer (grundantagelser), som ikke bevises.[1]
For alternative betydninger, se Sætning. (Se også artikler, som begynder med Sætning)
Sætninger af forskellig vigtighed og funktion har forskellige navne:
- Påstand, Observation, Bemærkning – et lille, ikke vanskeligt resultat.
- Lemma – hjælpesætning. Bruges normalt om et mindre resultat, der udgør en del af et stort bevis for et vigtigere resultat.[2]
- Korollar – vigtig følgesætning eller afledt sætning. Om et resultat, der er en direkte (eller næsten direkte) konsekvens eller specialtilfælde af en netop fremsat sætning.[3]
- Proposition – et resultat af mindre vigtighed end en sætning, som ikke står i umiddelbar forbindelse til en "sætning".[4]
- Sætning – et vigtigt resultat. (fx Middelværdisætningen, Gödels ufuldstændighedssætning)
- Fundamentalsætning, Hovedsætning – Et særligt vigtigt resultat af grundlæggende betydning inden for et helt område. (fx algebraens fundamentalsætning, aritmetikkens fundamentalsætning)
Nogle matematikere 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 (medmindre resultatet er så enkelt, at beviset skønnes indlysende for læseren).
En formodning er en formodet sætning, om hvilken det endnu ikke er afklaret, hvorvidt den kan bevises eller modbevises. Se for eksempel Goldbachs formodning.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
