News for hackers. Stuff that matters.
Re:What Gödel Discovered by libraryofbabel on Monday November 16, 2020 @04:53PM (#25117460)
Correct. Frege (and then following him Bertrand Russell in Principia Mathematica) used a definition when a natural number n was the set of all sets with n elements. More info and contrast with the (later chronologically) Von Neumann definition: https://en.m.wikipedia.org/wiki/Set-theoretic_definition_of_...

There are no comments on this comment yet.