His main work involved applying philosophy to mathematics, the philosophy taking precedence over rigorous mathematical proofs.
Kanyang mga pangunahing trabaho na kasangkot nag-aaplay pilosopiya sa matematika, ang pilosopiya pagkuha pangunguna sa mahigpit na matematiko proofs.