You can only ever prove something about specific objects about which nothing else is known if there are only finitely many of them. Because, in the situation you describe, the only way we can say anything about them is by naming them explicitly, and any proof has only finitely many symbols in it.
But e.g. the following could be true in some system: if you have a set that (“really”) begins an infinite descending chain, you can prove the existence of a set containing all the elements in some infinite descending chain, even though you couldn’t do it if all you had were names for those elements and no information about the relationships between them.
I don’t think I understand your prescription for a Strange Universe. What do you mean by “all possible sets that replace some of the empty sets in the structure”? In an actual ZF universe there is only one empty set.
What do you mean by “all possible sets that replace some of the empty sets in the structure”? In an actual ZF universe there is only one empty set.
I meant empty sets in the, uhm, description/graph of the set. For example, in the description of the set {{}, {{}}}, there are two instances of empty set: here {{}, {{}}}, and here {{}, {{}}}.
Visually, if you would draw the set as a tree—the topmost node represents the set itself, each node has below it nodes representing the elements (if two nodes have the same set for a subset, it would be drawn on the diagram below each node separately; we are making a tree structure that only splits downwards, never joins) -- then every set in standard model of ZF is a tree, with some nodes having infinitely many nodes directly below them, but each individual path downwards is finite. And each path downwards ends with the empty set = a node that does not have any nodes below it.
By “replacing some empty sets” I meant replacing some of those nodes at the bottom with the sets from the infinite chain a, b, c… For example, from the set {{}, {{}}}, you would achieve {a, {{}}} by replacing the “first” empty set; {{}, {a}} by replacing the “second” empty set; and {a, {a}} by replacing both empty sets. You would do this for all sets from the chain, even combinations like {a, {b}}.
The only restriction is that when the graph of the set contains an infinite number of empty-set-nodes, for example in {{}, {{}}, {{{}}}, {{{{}}}}… }, you can replace either finite or infinite number of them, but you may only use a finite number of different sets from the descending chain. So for example, you could infinitely many “a”s and infinitely many “b”s; or perhaps two “a”s and infinitely many “b”s; or just two “a”s and three “b”s; but you cannot use infinitely many different letters. So it is allowed to create {{}, {a}, {{{}}}, {{{b}}}… }, or {a, {a}, {{a}}, {{{a}}}… } (with infinitely many “a”s), or {a, {b}, {{a}}, {{{b}}}… } (with infinitely many “a”s and “b”s), but not {a, {b}, {{c}}, {{{d}}}… } (with infinitely many different letters used).
I think that the class of sets created this way satisfies the ZF axioms.
EDIT: I will try to send you an e-mail during this weekend, because this definitely makes more sense with pictures, at least in my head. Thank you for your patience so far!
Ah, OK, I think I now understand your intended construction. I’m trying to figure out whether it satisfies the ZF axioms, but right now it’s past my bedtime. One thing that definitely isn’t true is the following stronger version of “if Foundation holds in the original model then it also holds in your universe”: Write x->y to mean that set y in your universe is obtained from set x in some other model of ZF by “replacing some empty sets with things from a,b,...”). Then (I repeat: this is a thing that isn’t true): If x has an element w disjoint from x, and x->y, and when x->y w turns into z, then z is disjoint from y. So if Foundation is true in your universe it’s not for the very most obvious reason. (Counterexample to that stronger claim: let x = {{{}}, {{},t}} for some choice of t, let w = {{},t}; let y = {{b}, {a,t}} so that w → {a,t}; then although w is disjoint from x it isn’t true that z is disjoint from y, because both contain a={b}.
I’ll return to this tomorrow, if I find the time, and think some more about whether your universe is guaranteed to be a model of ZF...
You can only ever prove something about specific objects about which nothing else is known if there are only finitely many of them. Because, in the situation you describe, the only way we can say anything about them is by naming them explicitly, and any proof has only finitely many symbols in it.
But e.g. the following could be true in some system: if you have a set that (“really”) begins an infinite descending chain, you can prove the existence of a set containing all the elements in some infinite descending chain, even though you couldn’t do it if all you had were names for those elements and no information about the relationships between them.
I don’t think I understand your prescription for a Strange Universe. What do you mean by “all possible sets that replace some of the empty sets in the structure”? In an actual ZF universe there is only one empty set.
I meant empty sets in the, uhm, description/graph of the set. For example, in the description of the set {{}, {{}}}, there are two instances of empty set: here {{}, {{}}}, and here {{}, {{}}}.
Visually, if you would draw the set as a tree—the topmost node represents the set itself, each node has below it nodes representing the elements (if two nodes have the same set for a subset, it would be drawn on the diagram below each node separately; we are making a tree structure that only splits downwards, never joins) -- then every set in standard model of ZF is a tree, with some nodes having infinitely many nodes directly below them, but each individual path downwards is finite. And each path downwards ends with the empty set = a node that does not have any nodes below it.
By “replacing some empty sets” I meant replacing some of those nodes at the bottom with the sets from the infinite chain a, b, c… For example, from the set {{}, {{}}}, you would achieve {a, {{}}} by replacing the “first” empty set; {{}, {a}} by replacing the “second” empty set; and {a, {a}} by replacing both empty sets. You would do this for all sets from the chain, even combinations like {a, {b}}.
The only restriction is that when the graph of the set contains an infinite number of empty-set-nodes, for example in {{}, {{}}, {{{}}}, {{{{}}}}… }, you can replace either finite or infinite number of them, but you may only use a finite number of different sets from the descending chain. So for example, you could infinitely many “a”s and infinitely many “b”s; or perhaps two “a”s and infinitely many “b”s; or just two “a”s and three “b”s; but you cannot use infinitely many different letters. So it is allowed to create {{}, {a}, {{{}}}, {{{b}}}… }, or {a, {a}, {{a}}, {{{a}}}… } (with infinitely many “a”s), or {a, {b}, {{a}}, {{{b}}}… } (with infinitely many “a”s and “b”s), but not {a, {b}, {{c}}, {{{d}}}… } (with infinitely many different letters used).
I think that the class of sets created this way satisfies the ZF axioms.
EDIT: I will try to send you an e-mail during this weekend, because this definitely makes more sense with pictures, at least in my head. Thank you for your patience so far!
Ah, OK, I think I now understand your intended construction. I’m trying to figure out whether it satisfies the ZF axioms, but right now it’s past my bedtime. One thing that definitely isn’t true is the following stronger version of “if Foundation holds in the original model then it also holds in your universe”: Write x->y to mean that set y in your universe is obtained from set x in some other model of ZF by “replacing some empty sets with things from a,b,...”). Then (I repeat: this is a thing that isn’t true): If x has an element w disjoint from x, and x->y, and when x->y w turns into z, then z is disjoint from y. So if Foundation is true in your universe it’s not for the very most obvious reason. (Counterexample to that stronger claim: let x = {{{}}, {{},t}} for some choice of t, let w = {{},t}; let y = {{b}, {a,t}} so that w → {a,t}; then although w is disjoint from x it isn’t true that z is disjoint from y, because both contain a={b}.
I’ll return to this tomorrow, if I find the time, and think some more about whether your universe is guaranteed to be a model of ZF...