logoalt Hacker News

qbit42today at 7:44 AM0 repliesview on HN

There is not a single foundation - you can choose. The differences are rarely important for working mathematicians though. Most know enough of ZFC to get by and ignore foundations tbh