(1) Anta at det finnes naturlige tall som ikke er interessante.
(2) Det må nødvendigvis eksistere et minste uinteressant tall n.
(3) Men n er interessant, fordi n er det minste uinteressante tallet.
Vi har en selvmotsigelse, og antakelsen (1) må være feil.
(4) Altså er alle naturlige tall interessante.