Mathematicians don't care about foundations (2022) from Hacker News on 2025-12-20 18:15 (#72A6N) Comments
