Den liknar i detta hänseende hwarje axiom: