Den är ett axiom ; men ett lika stortaxiom