Debido a su caracter axiomático, solo es posible indicarlos de forma redundante.