Also in 1920 he published Intuitionistic Set Theory, then in 1927 he developed a theory of functions On the Domains of Definition of Functions without the use of the Principle of the Excluded Middle.
Din sa 1920 siya nai-publish Intuitionistic Itakda ang teorya, at pagkatapos ay sa 1927 siya binuo ng teorya ng pag-andar Sa mga domain ng mga Definition ng mga pag-andar nang walang ang paggamit ng Prinsipyo ng Ibinukod Middle.