Who needs who ?

  • Thread starter Organic
  • Start date
1,208
0
The ZF Axiom of the Empty set:

There is a set A such that, given any set B, B is not a member of A.

(An analogy: There is a "collector" A with no "content" B)


By using at least two variables (in this case A and B) we need some formula to describe the relations between them.

No set can be separated from the property of its content, therefore
we have an interesting situation here.

On one hand a collector can exist with no content, but on the other hand its property is depended on the property of its content.

But we also know that the content concept can't exist without a collector.

To define the exact definition of an existing thing A(a collector), is not in the same level as defining the existence of B(a content).

So A can exist with no clear property, but B can't exist at all without A.

Can someone show how Math language deals with these distinguished two levels.

If we say "There is a collector" , do you think that we can come to the conclusion that it has no content (the minimal collector's existence) as its property ?



Thank you.



Organic
 
Last edited:

HallsofIvy

Science Advisor
Homework Helper
41,709
876
One of the nice things about "math language" is that it is very difficult to write non-sense in "math language" while one can see it is very easy to do so in ordinary language (is it only me or does English seem particularly prone to making non-sense look like it really means something?).
 

Related Threads for: Who needs who ?

  • Posted
Replies
2
Views
931
  • Posted
Replies
2
Views
16K
Replies
5
Views
2K
  • Posted
2 3
Replies
50
Views
26K
  • Posted
Replies
3
Views
3K
  • Posted
Replies
4
Views
15K
  • Posted
Replies
3
Views
1K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads

Top