Comment by andreskytt

That’s where Gödel’s theorem comes in. There’s always axioms unprovable without expanding the system