Podemos decir de manera informal que un sistema axiomático consta, a groso modo, de: