[FOM] 622: Adventures in Formalization 6

[Mitchell Spector]

With regard to the discussion as to whether the set of natural numbers should be a subset of the set 
of real numbers, or whether it's good enough to have an isomorphism that lets us identify natural 
numbers with certain real numbers:

It may worth pointing out that Conway's surreal numbers provide a systematic approach which includes 
both the natural numbers and the real numbers, and which makes N a subset of R.

Mitchell Spector
Email: spector at alum.mit.edu