
Originally Posted by
DrRocket
A set can can contain any non-negative ordinal number of elements. Including zero.
Would that hold true even when it is a "set of" something within a specific group that is itself more abstract and conceptual?
Let's say I have 4 ideas. Clearly... I have a set of four which exist within the conceptual/abstract group of "ideas."
However, when I focus the set to exist within the group of "idea," zero doesn't seem to be valid... If I have no ideas, it would seem that I also do not have a "set of" them. Further, in common usage, a singular object like "one idea" would not seem to comprise a "set of" ideas. It's singular, so would seemingly be best described as "an" idea, instead of a set of them.
I know using the reals as noted in your post that what you've said is entirely valid, and I also concede that at present your knowledge of math structures and language far surpasses my own. However, I wonder if when you expand the question beyond pure math if your response still holds.
Any thoughts? I ask, because IINM the OP was inspired by a thread religious in nature in which I was a participant, where I made a comment regarding non-belief and an assertion that one belief is not the same as a set of them.