Det Ur ett axiom i deosttillverkando