"Stosując formalizm jasno odróżnia się dwie rzeczy"
(1) Metoda zgodności: a pojawia się zarówno z AB jak i z AC. (2) Molekularne albo złożone wyrażenia. (4) Definicje za pomocą systemu aksjomatycznego. Reguła ta wyznacza empiryczny charakter tych nauk.