|
|
|
|
|
|
by randallholmes
772 days ago
|
|
|
I think the Frege definition of the natural numbers is philosophically the correct one. This is a point in favor of foundations in NFU. I also think that Zermelo-style foundations are pragmatically better, so sadly I must let go of the first preference :-) |
|
|