Mårtens sats

AlefWiki
Version från den 27 mars 2012 kl. 19.32 av Schreib (diskussion | bidrag) ((Vi hade någon etablerad standard att satser endast ingår i "satser"-kategorin))
(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)
Hoppa till navigering Hoppa till sök

Mårtens sats säger att allt som rimmar är samma sak. En viktig följd av denna sats är att allt som simmar är samma sak, eftersom "rimmar" och "simmar" är samma sak. Dessutom är allt som limmar, trimmar, immar, glimmar och svimmar samma sak. Mårtens sats har även bevisats av Johans lemman.

Tillämpningar

Mårtens sats är oerhört användbar och kan användas för att bevisa en väldig massa saker, bland annat följande:

  • Muppar gal.
  • [math]\displaystyle P[/math] är norsk.
  • Mårten är en toffel.
  • Noll är lika med lol.

Eftersom bevisa också rimmar på motbevisa, leder Mårtens sats till att allt som är sant är falskt - ett speciallfall av Niklas lilla sats.