Vikipedi
Finitizm
(Buna karşın çoğu oluşturmacı sayılabilir sonsuz sayıda adımların kullanılmasına izin verir.) Finitizmin en ünlü savunucusu Leopold Kronecker ve bu konudaki deyişidir: "Tanrı doğal sayıları yarattı, gerisi insanların eseri." Çoğu modern oluşturmacı daha yumuşak bir görüş savunmakla birlikte köklerini Kronecker'in çalışmalarına dayandırabilmektedirler.
Finitizmden daha katı bir yaklaşım Alexander Esenin-Volpin'in ultra sezgicilik (ya da yaygın olarak bilinen adıyla ultra finitizm) akımıdır.