wrote on the foundations of logic and set theory, as would befit a student of Tarski. His PhD dissertation, titled Contributions to the Axiomatic Foundations of Set Theory, contained the first proof that all possible axiomatizations of the standard axiomatic set theory ZFC must contain infinitely many axioms. In other words, ZFC cannot be finitely axiomatized.

He pioneered a logical approach to natural language