Comment Comment by pfortuny Oh no: the axioms come much much later. The order is exactly the reverse one. parent pfortuny 6 years ago
