Se mantienen por tantos distintos axiomas de partida.