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 = (2)2'x = (2)1+1'x = 2'2'x = 1+1'1+1'x
= (')'(')'x = ''''x = 1+1+1+1'x = 4'x.