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_...
[ Parent
| on HN ]
There are no comments on this comment yet.