5.42 È evidente che ∨, ⊃, ecc. non sono relazioni nel senso di destra e sinistra ecc.

La possibilità di definire i «segni primitivi» logici di Frege e di Russell l'uno con riferimento all'altro mostra già che questi non sono segni primitivi e, a maggior ragione, che essi non designano alcuna relazione.

Ed è evidente che il «⊃» che noi definiamo mediante «~» e «∨» è identico a quello mediante il quale e mediante «~» definiamo «∨»; e che questo «∨» è identico al primo. E così via.