Warning: Trying to access array offset on value of type null in /customers/5/9/b/alefwiki.se/httpd.www/public_html/includes/profiler/SectionProfiler.php on line 99 Warning: Trying to access array offset on value of type null in /customers/5/9/b/alefwiki.se/httpd.www/public_html/includes/profiler/SectionProfiler.php on line 99 Warning: Trying to access array offset on value of type null in /customers/5/9/b/alefwiki.se/httpd.www/public_html/includes/profiler/SectionProfiler.php on line 100 Warning: Trying to access array offset on value of type null in /customers/5/9/b/alefwiki.se/httpd.www/public_html/includes/profiler/SectionProfiler.php on line 100 Warning: Trying to access array offset on value of type null in /customers/5/9/b/alefwiki.se/httpd.www/public_html/includes/profiler/SectionProfiler.php on line 101 Warning: Trying to access array offset on value of type null in /customers/5/9/b/alefwiki.se/httpd.www/public_html/includes/profiler/SectionProfiler.php on line 101 Jonathans sats - AlefWiki

Jonathans sats

AlefWiki

Version från den 12 december 2017 kl. 16.19 av Loovjo (diskussion | bidrag)

(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)

Hoppa till navigering Hoppa till sök

Jonathans sats säger att alla satser som har undantag inte gäller. Denna sats är ett undantag.

Bevis

Anta att en sats gäller. Men efter som att satsen har ett undantag så är det ett fall som inte gäller. Detta går emot vårt antagande och ger en motsägelse.

Den här artikeln är hämtad från http://alefwiki.se/index.php?title=Jonathans_sats&oldid=10540

Kategorier:

Jonathans sats

Bevis

Navigeringsmeny

Personliga verktyg

Namnrymder

Varianter

Visningar

Mer

Sök

Navigering

Verktygslåda