> other axioms are considered so self-evident that it's not even worth mentioning. Maybe "considered so common" would be a more precise wording. I'd also arg

> other axioms are considered so self-evident that it's not even worth mentioning. Maybe "considered so common" would be a more precise wording. I'd also argue that the design space within finite math is reasonably limited. I have never seen an interesting alternative axiomization. For infinite math there is of course much more room.