liczby naturalnej związane jest z pewną idealizacją. Przyjmuje się bowiem w matematyce, że wszystkie liczby naturalne są obiektami tego samego rodzaju, niezależnie od tego, czy mówimy o liczbach np. 3 lub 5, czy też o wielkich liczbach w rodzaju 1010. Już E. Borel twierdził, że "&lt;q&gt;bardzo wielkie obiekty skończone sprawiają takie same trudności jak nieskończoność&lt;/&gt;", zaś D. van Dantzig pytał w duchu G. Mannoury'ego: "&lt;q&gt;Czy 1010 jest liczbą skończoną&lt;/&gt;?". P. Bernays zauważył, że również intuicjonizm wykracza poza bezpośrednią konkretną oczywistość, "&lt;q&gt;zupełnie ignorując możliwość, że operacje arytmetyczne potrzebne do stosowania definicji rekurencyjnych mogą nie mieć sensu dla bardzo wielkich liczb&lt;/&gt;".<br>W związku z