Dea är ett axiom ; men ett lika stortaxiom