He had already become interested in the foundations of mathematics as illustrated by his article The nature of mathematical proof (1944) in which is concerned with:
Niya na maging interesado sa pundasyon ng matematika bilang larawan sa pamamagitan ng kanyang akdang Ang kalikasan ng matematika katibayan (1944) na kung saan ay nag-aalala sa: