 However, both the view that type theory lacks intuitive support, and that type theory and axiomatic set theory are based on the same intuitions dates back to Gödel in 1933, referring to set theory as the “theory of aggregates”: