What axiomatic system is most commonly used by modern mathematicians to describe the properties of the integers and the rationals?
Properties like
$a+0=a$,
$a*1=a$,
$a+b=b+a$,
Also given these axioms, can I show that a contradiction cant be derived from them, such as $0=1$.. etc