Hacker News new | ask | show | jobs
by anon291 236 days ago
Not really. For many years mathematics rested on traditional first order logic and traditional naive set theory. That was revisited at the begining of the twentieth century.