you are viewing a single comment's thread
view the rest of the comments
[–] 2 points 4 months ago

That is true. Naturals are explicitly constructible by definition anyway, but Russell's paradox applies to the concept of "interesting numbers" and is why they can't be well-defined. https://en.wikipedia.org/wiki/Interesting_number_paradox

  • source
  • parent