Axioms in Mathematics

There's this concept of axioms we should probably try to remember what those look like. So there's this famous of the parallel postulate, which you couldn't derive it from the other ones. And so in some sense, what Girdle had done is develop a method for doing that but at the level of models of mathematics or at least models of this axiom system That we have for mathematics.