Fue capaz de desarrollar la mayoría del cálculo clásico sin usar el axioma de elección, la prueba de contradicción o los conjuntos infinitos de Cantor.