axiom AA4 states:

there exists h,g in H s.t. h>g

This is equivalent to:

There exists i s.t. i is not null.