axiom “ uppställd satsen , att“