har varit fullt befogad att som ett axiombetrakta