Most of his later work was on the foundations of mathematics, where he introduced ultrafinitism, an extreme form of constructive mathematics that casts doubt on the existence of not only infinite sets, but even of large integers such as 1012.
Велика частина його більш пізніх праць стосується основ математики, де він ввів поняття ультрафінітизму, крайньої форми конструктивної математики, яка ставить під сумнів існування не лише нескінченних множин, а й навіть великих цілих чисел, таких як 1012.