3 ms·
But did your analysis class define addition on the naturals? Then that's an operator for the naturals. And then for integers, rationals, etc.
by threatofrain 6y ago
But did your analysis class define addition on the naturals? Then that's an operator for the naturals. And then for integers, rationals, etc.
- peterwoerner 6y agoYep and how to construct, the naturals from set theory, the integers from the naturals, the rationals from the integers and the reals from the rational. I've forgotten the details at this point, but I remember the conclusions.