He was able to develop most of classical calculus, while using neither the axiom of choice nor proof by contradiction, and avoiding Georg Cantor's infinite sets.
Ήταν σε θέση να αναπτύξει το μεγαλύτερο μέρος του κλασικού λογισμού,χωρίς να χρησιμοποιήσει ούτε αξίωμα της επιλογής ούτε την εις άτοπον απαγωγή, και αποφεύγοντας την Θεωρία Συνόλων του Γκέοργκ Κάντορ.