Alle naturlige er interessante

[sEirik offline]

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

[Magnus offline]

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

[Zoiros offline]

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

[Magnus offline]

Gikk nesten .. ; )