Should Type Theory replace Set Theory as the Foundation of Mathematics
arXiv:2111.06368
Abstract
We discuss why Type Theory is preferable as foundation of Mathematics compared to set theory.
arXiv:2111.06368
We discuss why Type Theory is preferable as foundation of Mathematics compared to set theory.