Such constructions are interesting! However, they are often done with PA instead of ZFC. For an interesting discussion, I recommend Torkel Franzén's book Inexhaustibility: a non-exhaustive treatment (Lecture Notes in Logic 16, ASL, 2004). You can also read this excellent blog article by Mike O'Connor.
François G. Dorais
- 44.4k
- 6
- 150
- 233