In article <email@example.com>, firstname.lastname@example.org wrote:
> No I claim that a countable set has only countable or finite subsets.
It s not the size of individual subsets that is in question but the number of different subsets that a set can have.
It is trivially true that every set has more subsets than members, so if there can be a set of all definitions, there must also be subsets of that set of all definitions which do not have any individual definition.
That WM may choose to ignore this will not make it go away. --