Comment Comment by strangestchild How then are the naturals defined? By the Von Neumann construction? (0, {0}, {0, {0}}, ...) parent strangestchild 13 years ago
