nie być zamknięte na takie operacje, jak mnożenie czy potęgowanie. Esenin-Volpin odrzuca też regułę odrywania, argumentując tak: Załóżmy, że wyprowadziliśmy formuły u O w oraz u i że długości tych dowodów są dostępnymi liczbami naturalnymi. Z tego nie wynika jednak wcale, że taka też jest długość dowodu formuły w.<br>Doktryna Esenina-Volpina napotyka 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