Jonathans sats
Version från den 12 december 2017 kl. 16.19 av Loovjo (diskussion | bidrag)
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.
