3 ms·

Oh no: the axioms come much much later. The order is exactly the reverse one.

• danck 7y ago
  Well, I have to agree. From a practical perspective.