One reason I find set theory appealing as a foundation is that the axioms of ZFC feel clearly true based on the "iterative" concept of sets. More specifically, the axioms are true when the ...

What is the intended interpretation of type theory? – mathoverflow.net
Joe Lamond

