finitisme

Système fondé sur des raisonnements finitistes.

Un raisonnement finitiste doit consister en une série finie de démarches élémentaires et constructives ayant chacune la nature d'un algorithme effectif et porter sur des combinaisons de symboles considérées comme des objets concrets, c'est-à-dire « visualisables ».