So, in Doronetics, a "fact" can be used as an index into a sequence.
HatRack, the order of some collection of distinct objects has no influence on the number of objects.
Let me show something cool.
The power set of, for example, {0,1,2} is {{},{0},{1},{2},{0,1},{0,2},{1,2},{0,1,2}}.
Actually the power set of some set is 2^(the number of the distinct objects of that set), for example:
{
000 ↔ {}
001 ↔ {0}
010 ↔ {1}
011 ↔ {2}
100 ↔ {0,1}
101 ↔ {0,2}
110 ↔ {1,2}
111 ↔ {0,1,2}
}
So by using <0,1>^X we can define a bijection with any power set, such that the members of the set and the members of power set are constructed by the same rule of <0,1> symbols.
Please pay attention that if we use the diagonal method on any arbitrary set of X members (and in this case X=3), which are based on <0,1> symbols, we get the members of the power set that are not in the range of some X arbitrary members of that set, for example:
If the arbitrary members are:
{
111,
1
00,
10
1}
then the diagonal member of the power set that is not in the range of these X arbitrary members is 010.
We can change the X arbitrary members, but always we get some diagonal member of the power set of X, which is not in the range of the X arbitrary members.
By using the common rule of <0,1> construction, we are using the diagonal method on the set of ∞ distinct members, as follows:
{
111… ,
1
00… ,
10
1… ,
…
}
The diagonal member of the power set that is not in the range of set of ∞ distinct members, starts (in this case) with 010… <0,1> symbols, even if X=∞ (also in this case the members of the set and the members of power set are constructed by the same rule of <0,1> symbols).
Because the set and the power set share members that are based on the same rule and there are always members of the power set that are not in the range of the set (whether X is finite or not), then no set is complete exactly because every set has a power set and every power set has also power set etc... ad infinitum ...