> It doesn't mean the assumptions you made while forming axioms or the rules itself are right. There's no absolute notion of “right” to begin with. There's jus

> It doesn't mean the assumptions you made while forming axioms or the rules itself are right. There's no absolute notion of “right” to begin with. There's just “provable” (in a theory) and “true” (in a model of a theory). Furthermore, a statement that's true in one model might not be true in another.