<< |  >>
#25 Dodano: 03-05-2009 05:26. Głosów: 367
Twierdzenie.
Wszystkie liczby naturalne są interesujące.
Dowód.
Załóżmy, nie wprost, że istnieją liczby nieinteresujące. Utwórzmy zbiór z nich złożony - M - i wybierzmy w nim (istniejący na podstawie zasady minimum) element najmniejszy - ozn. m. Zatem m-1, m-2, m-3, ... są już interesujące. Oznacza to, że liczba m ma bardzo ciekawą własność - wszystkie liczby od niej mniejsze są interesujące, a ona nie (!) - co przeczy definicji zbioru M.
<< |  >>