In class, I find myself staring at a set written neatly on the chalkboard. My mind lingers not on the clarity of the roster method (listing elements), but on the ambiguous “criteria” offered by set-builder notation. It is often said that mathematicians prefer the roster method; after all, the elements spread out before your eyes are undeniable, tangible realities. Yet, a fundamental question struck me: Can the “condition” itself—the very criteria we use—actually hold up?
Axioms Built on the Sandcastles of Experience
When I look closely at the “axioms” we trust as absolute mathematical truths, I realize they stem from the accumulated experience of humanity. We watched two apples join one apple to become three, repeating this tens of thousands of times until we accepted it as a law. However, as the philosopher David Hume pointed out, inductive experience does not guarantee the future. Just because the sun has risen in the east until now doesn’t prove it will do so tomorrow. I am merely “assuming it will.” If the things I believe to be axioms were to collapse tomorrow, wouldn’t the filters of set-builder notation, built upon those very axioms, instantly become broken machines?
Mathematics: The Aesthetics of ‘Declaration,’ Not Prophecy
At the end of this confusion, I rediscover the unique nature of mathematics. Mathematics is not a “journal” chasing after reality; it is a “blueprint” that creates its own world. When I present the condition for a “set of even numbers,” I am not prophesying whether a number discovered in the future will be even or not. Instead, I am declaring: “I shall call only those things that are divisible by two ‘even’.” Here, set-builder notation is not an object of empirical observation; it is the immigration checkpoint of a world I have constructed. It doesn’t matter if a bizarre new number appears in the future. If that number passes my screening criteria, it becomes an element of my set; if not, it is rejected. Set-builder notation holds firm not because it predicts the future, but because it hammers down “my own yardstick” that will remain unchanged regardless of what the future brings.
The Power of Logic to Withstand an Uncertain Future
Strictly speaking, all criteria for classification in this world are precarious. The conditions we call “love” or the standards we call “justice” sway like waves depending on the era and our experiences. But in the world of mathematics, we have agreed to set aside the uncertainty of experience for a moment. The world of sets is built upon a grand assumption: “If this condition remains forever unchanged.” Within that space, set-builder notation becomes the most solid of fortress walls. Because I cannot know the future, I have created a “promise” that will not waver, no matter what that future looks like. Even if it started from human experience, the moment I keep that promise, mathematics touches a realm of eternity that transcends experience itself.
Leave a Reply