"Che due più due dia quattro, non costituisce una verità immediata, supposto che 4 denoti 3 più 1. Lo si può invece dimostrare; e precisamente con il seguente ragionamento:
Definizione:(1) 2 è 1 più 1
Assioma: un'uguaglianza continua a sussistere sostituendovi un termine con un altro uguale.
Dimostrazione:
2+2 = 2+1+1 = 3+1 =4
Dunque, in base all'assioma si conclude:
2+2 = 4 "
(Cfr. i Fond. dell'aritm. di Frege )