@article { , title = {Should Type Theory Replace Set Theory as the Foundation of Mathematics?}, abstract = {Mathematicians often consider Zermelo-Fraenkel Set Theory with Choice (ZFC) as the only foundation of Mathematics, and frequently don’t actually want to think much about foundations. We argue here that modern Type Theory, i.e. Homotopy Type Theory (HoTT), is a preferable and should be considered as an alternative.}, doi = {10.1007/s10516-023-09676-0}, eissn = {2948-1538}, issn = {2948-152X}, issue = {1}, note = {Article not yet published online. On temp embargo sheet. Will need to change status to published. Will need to add official url, volume, issue, pagination and doi. Gold OA replace AAM with published version when available.}, publicationstatus = {Published}, url = {https://nottingham-repository.worktribe.com/output/16794923}, volume = {33}, year = {2023}, author = {Altenkirch, Thorsten} }