Hm, izgleda da imam grešku u rezonovanju, jer sam pisao u brzini. Prvo,
nije neutral za sabiranje, već upravo suprotno, svi konačni brojevi su neutrali za sabiranje za
. Drugo,
nije jedinstven po ovoj definiciji, jer
, pa ne mora da bude kontradikcija
(
može da bude beskonačnost „višeg reda“ u odnosu na
). Pre bi se „broj“
mogao shvatiti kao klasa ekvivalencije, nešto što se slično ponaša kao operacija „malo o“,
. A
ne mora da znači da je
, već samo da te dve funkcije pripadaju istoj klasi ekvivalencije.
Imajući to u vidu, da,
se formalno predstavlja ili nizovima ili funkcijama, a Hajne (ako se ne varam) je dokazao da je limes niza ekvivalentan limesu funkcije.
U suštini, u Analizi 1 se i ne proučava „broj
“, već ili „beskonačan interval“ ili „beskonačan limes“.
Prva godina MATF-a,
ej! Da me vidi neki profan sada...