rekurencyjnej (nazywanej też dziś &lt;name type="tit"&gt;arytmetyką Skolema&lt;/&gt;), w której można sformalizować idee Skolema. Goodstein rozszerzył (w swych książkach z 1957 i 1961 roku) wyniki Skolema pokazując m. in., jak można zbudować fragmenty analizy za pomocą metod &lt;orig&gt;finitystycznych&lt;/&gt;. Ostatnio (1981) W. W. Tait sformułował tezę, że system PRA jest systemem, który adekwatnie formalizuje wszystkie metody &lt;orig&gt;finitystyczne&lt;/&gt;.<br>Matematyka &lt;orig&gt;finitystyczna&lt;/&gt; jest całkowicie konstruktywna i stanowi część matematyki intuicjonistycznej. Z drugiej strony jednak, matematyka intuicjonistyczna wykracza poza ramy nakładane przez &lt;orig&gt;finityzm&lt;/&gt;.<br>Dodajmy, że koncepcje &lt;orig&gt;finitystyczne&lt;/&gt; odgrywały też ważną rolę w Hilberta programie ugruntowania i usprawiedliwienia matematyki klasycznej (por. rozdział następny, Formalizm). Nie oznacza to jednak, że