Axiomatics are entirely arbitrary if you will. Thats the whole point: I restrict myself to some basic rules only because that allows me to show other potentially useful things, consequences and applications.