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.2321 E che le proposizioni della matematica possano
essere dimostrate vuol solo dire che la loro correttezza può vedersi senza che
ciò che esse esprimono debba esso stesso venir confrontato con i fatti per
determinare la sua correttezza.
6.2322 L'identità del significato di due espressioni non
può asserirsi. Infatti, per poter asserire qualcosa del loro significato, devo
conoscere il loro significato; e, se conosco il loro significato, so se esse
significhino lo stesso o altro.
6.2323 L'equazione contrassegna solo l'aspetto sotto il
quale io considero le due espressioni, ossia l'aspetto della loro eguaglianza di
significato