Sorry but if you try to prove 2+2=4 in ZFC versus Type Theory (HoTT-style) – not...

		k_bx 2 days ago \| parent \| context \| favorite \| on: A new bridge links the math of infinity to compute... Sorry but if you try to prove 2+2=4 in ZFC versus Type Theory (HoTT-style) – nothing looks elegant about ZFC afterwards.