Jonathans sats

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

Bevis

Antag att en sats gäller, samt att denna sats har ett eller fler undantag. Men eftersom att satsen har ett undantag så finns det altså ett fall som inte gäller. Detta går emot vårt antagande om satsen gällande, och ger oss en motsägelse. Alltså gäller ej satsen, VVVVV.