b) operacje na takich strukturach muszą mieć charakter kombinatoryczny, a więc muszą być efektywne; (c) pojęcia abstrakcyjne, takie jak pojęcie dowolnego zbioru, operacji czy konstrukcji, nie są uprawnione w matematyce &lt;orig&gt;(finitystycznej)&lt;/&gt;.<br>Za twórcę i pierwszego przedstawiciela &lt;orig&gt;finityzmu&lt;/&gt; uznać należy Leopolda Kroneckera (por. uwagi na temat źródeł intuicjonizmu w 1). Istotny wkład do rozwoju matematyki &lt;orig&gt;finitystycznej&lt;/&gt; wniósł Thoralf Skolem (1887­1963). W pracy z roku 1923 pokazał on mianowicie, że spory fragment arytmetyki może być zbudowany w ramach rachunku bez zmiennych związanych dopuszczającego indukcję tylko względem wyrażeń bezkwantyfikatorowych. W roku 1941 Haskell B. Curry (1900­1982) i niezależnie Reuben L. Goodstein (1912