A partir de tal sistema de axiomas se deduce: