A new foundational crisis in mathematics, is it happening?arxiv.org1 point·kraitis··0 commentsOpen articleSaveView on HN