j axiom uppställa och ideligenomsäga