1A new foundational crisis in mathematics, is it happening? (opens in new tab)(arxiv.org)1kraitis7y ago0