Cada una de estas relaciones es "expresada" por su fórmula correspondiente, en el sentido de que si dos números están relacionados, puede demostrarse la expresión formal correspondiente; y cuando no lo están, puede refutarse.