Introduction
When modeling reality as a set of metadata-value pairs, an immediate philosophical and mathematical objection arises: What happens when a piece of metadata or its value is discovered to be incorrect? In natural language, we casually speak of “modifying” or “updating” our data. However, in formal set theory, a set is strictly defined by its elements (the Axiom of Extensionality). The moment a single element is added, removed, or altered, the original set ceases to exist, replaced by an entirely distinct set. This raises a fundamental epistemological problem: If a set contained erroneous information, it was never a subset of the actual universe to begin with. Therefore, the assumption that we are simply “completing an incomplete set” is mathematically flawed. Resolving this contradiction requires redefining how formal logic handles error, time, and immutability.
The Axiom of Extensionality: Why Sets Cannot Change
In Zermelo-Fraenkel set theory (ZFC), the identity of a set is determined solely by its contents. Two sets A and B are identical if and only if they contain the exact same elements (A = B \iff \forall x (x \in A \iff x \in B)).
Unlike an object in the physical world—such as a car that remains the “same car” even after changing a tire—a mathematical set possesses no persistent identity separate from its constituents:
Mathematically, $S_1 \neq S_2$. Set $S_1$ did not “evolve” into $S_2$. Rather, $S_1$ remains a static, permanent mathematical object, and $S_2$ is a brand-new set constructed to replace it. In pure logic, sets do not mutate; they are fundamentally immutable.
False Sets and the Ideal Universe
Your critique exposes a crucial distinction between the Universe of Possibilities and the Universe of Actual Reality:
If a set S_1 contains false metadata (e.g., claiming a person’s age is 20 when it is actually 25), then S_1 was never a subset of U_{\text{real}} (S_1 \not\subseteq U_{\text{real}}). Falsehoods cannot be subsets of a universe composed strictly of truth.
Instead, $S_1$ was merely a valid subset of $U_{\text{possible}}$. When we “correct” an error, we are not completing a partial subset of reality. We are admitting an epistemic failure: we mistakenly believed $S_1$ belonged to $U_{\text{real}}$, discarded it upon realizing its invalidity, and constructed a new set $S_2$ that holds a higher probability of being a true subset of reality.
Modeling Change: Time-Series and Immutability in Computer Science
To model correction without violating set theory’s strict immutability, computer scientists and logicians introduce temporal indexing or versioning. Rather than altering a set in place, time ($t$) or version ($v$) is embedded directly into the metadata:
\text{Evolution Set} = \left\{ (t_1, S_1), (t_2, S_2), (t_3, S_3) \right\}
This approach powers modern immutable data architectures (such as event sourcing, blockchain, and Git version control). In these systems, data is never overwritten or mutated. Instead, every correction is recorded as a new, immutable state appended to a timeline set. By lifting the model to a higher dimension that includes time, the history of error and correction itself becomes a valid, immutable subset of reality.
Conclusion
Your insight identifies a fundamental boundary where naive mental models clash with formal mathematics. A set cannot be “updated,” because altering its elements changes its essence. A set containing errors was never a incomplete reflection of reality; it was an incorrect model belonging to the realm of mere logical possibility. When we refine our knowledge, we do not mutate the past set—we discard an invalid model and construct a new, immutable set closer to the truth, tracking our journey toward reality through the structured march of time.
If you enjoyed this piece:
Explore the “Noise Cancelling” collection
Discover more from the Abstract collection
Leave a Reply