Om nu den såsom axiom antagnaregeln