Ons Bewijs van de Stelling: Al Onze Puzzels Zijn Interessant!

Laat V de verzameling zijn van oninteressante puzzels op onze site.

Stel nu dat de verzameling V niet leeg is.

Dit betekent dat er blijkbaar oninteressante puzzels op onze site te vinden zijn.
Dan is er dus ook een minst interessante puzzel te vinden!
Laat P (element van V) deze minst interessante puzzel zijn.

Dan zouden we wel zeer geïnteresseerd zijn om te weten welke puzzel P is!
Dus P wordt opeens wel heel interessant!
Maar we hadden aangenomen dat P oninteressant was (het is immers een element van V).

Dit leidt tot een tegenspraak!

Hieruit kunnen we alleen maar concluderen dat onze aanname fout was en dat V dus wel een lege verzameling is!

Dus: alle puzzels op onze site zijn interessant!

Nog een bewijs: onze prijzen en reacties van bezoekers.

terug naar de hoofdpagina