Skip to main content
1 of 3
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k

Yes, because there is a definable ordinal pairing function.

Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k