Hacker News new | ask | show | jobs
by k_bx 206 days ago
Sorry but if you try to prove 2+2=4 in ZFC versus Type Theory (HoTT-style) – nothing looks elegant about ZFC afterwards.