Should Type Theory replace Set Theory as the Foundation of Mathematics

11/11/2021

∙

by   Thorsten Altenkirch, et al.

∙

0

∙

share

We discuss why Type Theory is preferable as foundation of Mathematics compared to set theory.