Should Type Theory replace Set Theory as the Foundation of Mathematics - Thorsten Altenkirch (2021)