how much of modern set theory is reverse engineered from axioms rather than discovered. we're always building highways through a forest we haven't mapped, assuming every tree will fall in line. and suddenly these new large cardinals show up that don't even sit neatly in the ladder. it's maynot be failure of math,but failure of narrative. we thought the infinite was climbable, now it's folding sideways. maybe the math we're building is just a subset of what's possible, shaped by what's provable under our current tools. lot of deep shit probably hiding in the unprovable.
replies(1):