3 ms·
In a sense it's not a weird problem so much as the entire concept of forbidding a 6 is inconsistent with the axioms of mathematics. Reasoning about a universe w
by opportune 9y ago
In a sense it's not a weird problem so much as the entire concept of forbidding a 6 is inconsistent with the axioms of mathematics. Reasoning about a universe without 6 will inherently include contradictions because you can always redefine something equivalent to 6 given our axioms.
- schoen 9y agoI think that's a very reasonable way to put it. For example, https://en.wikipedia.org/wiki/Peano_axioms#Set-theoretic_models https://en.wikipedia.org/wiki/Peano_axioms#Set-theoretic_mod... does not depend on having any pre-existing set of 6 objects that you can point out by ostension. Instead, you can construct one, given the concepts of ∅, ∪, and {}!