Han skrev grundläggande arbeten i modern topologi under perioden 1909–13 och räknas av många matematiker som detta ämnes grundare. Inte mindre känd är han som den matematiska intuitionismens grundläggare. I flera arbeten kritiserade han den klassiska matematikens användning av icke konstruktiva metoder och lade en filosofisk, logisk och matematisk grund