 category theory |  Gödel, Kurt |  logic, history of: intuitionistic logic |  logic: intuitionistic |  mathematics: constructive |  set theory: constructive and intuitionistic ZF |  set theory: Zermelo’s axiomatization of |  type theory: intuitionistic 