Sea la fórmula , donde es la fórmula que expresa la relación numérica —relativa a la teoría formal —.