3 ms·

You just move the sorts around, you don't get rid of having to have sorts. I guess a rug with dirt swept under it is more aesthetically pleasing than a rug with

by juped 2y ago

You just move the sorts around, you don't get rid of having to have sorts. I guess a rug with dirt swept under it is more aesthetically pleasing than a rug with dirt on top of it?

epgui 2y ago
There is no notion of types in naive set theory.
- juped 2y ago
  No one said anything about either types or naive set theory.