Leii är ett axiom ; men ett lika stortaxiom