matematikk.net

(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.

Jepp..
Hvorfor funker ikke \qed hmm...

Må ikke dette også gjelder da:

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

:p

Gikk nesten .. ; )