Se due espressioni son connesse dal segno d'uguaglianza, ciò vuol dire che esse sono sostituibili l'una all'altra. Ma se così sia deve mostrarsi nelle due proposizioni stesse.

La sostituibilità dell'una all'altra caratterizza la forma logica di due espressioni.

6.231    È una proprietà dell'affermazione la possibilità di concepirla quale doppia negazione.

È una proprietà di "1+1+1+1" la possibilità di concepirla come "(1+1) + (1+1)".

6.232 (3)   Frege dice che le due espressioni hanno lo stesso significato, ma diverso senso.

Ma nell'equazione l'essenziale è non esser necessaria per mostrare che le due espressioni, che il segno d'uguaglianza connette, hanno lo stesso significato, poiché ciò si può vedere dalle due espressioni stesse.

6.233 (1)   Alla domanda, se per risolver i problemi matematici l'intuizione serva, si deve rispondere nel senso che appunto il linguaggio qui fornisce l'intuizione necessaria.