som hittills icke erkänt axiomet?