Krzysztof Dominko:
> Napisane przeze mnie twierdzenie to opis grupy twierdzeń.
> Dla liczby 5 połowa jest większa od pierwiastka.
> Dla liczby 6 połowa jest większa...
> Dla liczby 7....
> ...

Jasne! Wiem o co Ci chodzilo.
Tylko czy zadales Sobie pytanie jaki pozytek dla nauki (np matematyki)
niesie ze soba sposob postepowania ktory zaproponowales? IMO kazdy zdrowy
matematyk zadowoli sie twierdzeniem 'uogolnionym' bez potrzeby iluzorycznej
produkcji (przepisywanie, tak?) Twojej 'rodziny twierdzen'.
Czemu ma sluzyc taka praktyka? - chyba ze chcesz udowodnic cos rownie
sztucznego. ;)

Abysmy sie dobrze zrozumieli: nie uwazam aby ilosc twierdzen znanych i
nieznanych czlowiekowi byla liczba okreslona i skonczona, ale dowod na to
powinien byc powazny a nie 'wymyslony' IMO. :)

Dziwi mnie jednak ze jako matematyk przywiazujesz tak wielka wage do
'formalizmu jezykowego' (znanego np w jez. polskim) w kwestii roku 0.
Nawisem mowiac trudno mi sobie wyobrazic matematyka ktory w imie 'zgodnosci'
brzmienia jezykowego (w niektorych formach) 'wykresla' zero ze zbioru liczb
calkowitych. :(
--
Czarek