He was also the forerunner and originator of many ideas included as a matter of course in modern textbooks of logic and the foundations of mathematics.
Siya din ang mga palatandaan at maylikha ng maraming mga ideya na kasama bilang isang bagay ng mga kurso sa mga modernong aklat ng lohika at ang pundasyon ng matematika.