The Argument Against Girdle's Theorem

Girdle's theorem is about provability, which means provability from axioms. Some mathematicians think that there is a class of axioms that don't need proof or something. They have this misconception that axioms are somehow enshrined by God and we can know for sure they are true. But that's not what knowledge is about. We are trying to solve problems. And Girdle'sorem is not about establishing truths either. It's about deriving things from other things.