na rozmaite trudności związane z przyjętym programem &lt;orig&gt;ultrafinitystycznym&lt;/&gt;. Nie wyszła ona właściwie, jak dotąd, poza stadium początkowe. Należy tu jednak dodać, że osiągnięte zostały pewne interesujące ścisłe wyniki techniczne, które rzucają światło na nie zawsze jasne koncepcje aktualistyczne. Należy do nich na przykład praca Parikha z roku 1971, w której wychodząc od aktualistycznej krytyki &lt;orig&gt;finityzmu&lt;/&gt; pokazuje się istotne różnice między charakterem operacji dodawania i mnożenia, z jednej strony, a potęgowaniem, z drugiej. Praca ta w połączeniu z pewnymi wynikami teorii złożoności stanowi też inspirację do rozwijanych ostatnio bardzo intensywnie badań nad arytmetyką ograniczoną wielomianowo &lt;gap&gt;.<br><br>&lt;tit1&gt;C. Predykatywizm&lt;/&gt;<br>Do prekursorów &lt;orig&gt;predykatywizmu&lt;/&gt; zaliczyć należy