hänseende hvarje axiom :det