His paper, appearing in the Proceedings of the Conference in 1959, gives his axiom system for geometry.
Kanyang papel, na lumilitaw sa mga pamamaraan ng Kumperensya sa 1959, ay nagbibigay sa kanyang axiom sistema para sa geometry.