Il metodo della matematica per pervenire alle sue equazioni è il metodo di sostituzione.

Infatti le equazioni esprimono la sostituibilità di due espressioni, e noi procediamo da un certo numero d'equazioni a nuove equazioni sostituendo espressioni con altre, corrispondentemente alle equazioni.

6.241    Così la dimostrazione della proposizione 2 x 2 = 4  suona:

                           (^v)^µ'x=^v×µ'x   Def.
  ^2×2'x = (²)²'x = (²)¹⁺¹'x = ²'²'x = ¹⁺¹'¹⁺¹'x
      = (')'(')'x = ''''x = ^1+1+1+1'x = ⁴'x.