Se conoce la existencia de diferentes sistemas axiomáticos y se puede analizar y comparar.