For example, it is immediately proven from the axioms that the identity element of a group is unique.
Παραδείγματος χάριν, αποδεικνύεται αμέσως από τα αξιώματα ότι το ουδέτερο στοιχείο μιας ομάδας είναι μοναδικό.