Protocollo

 1 25    |                M=B, N1 =A1 =, M1 = B1, N2 =A2, M2 =B2;sarà che N<M,
 2 25    |              B2;sarà che N<M, M1 → N1, N2 → M2; sia o sia dimostrato
 3 25    |              si avrà che N=M, N1 → M1, N2 → M2; sia o sia dimostrato
 4 25    |               M1 → N1)+  ~[pag.25 F4]~(N2 → M2)] e b) che tesi seconda
 5 25    |                M) → (M=N)]; ma N1=M1 e N2=M2, donde [(N1 → M1) = (
 6 25    |               M1) = (M1 → N1)] e che [(N2 → M2) = (M2 →N2)], donde
 7 25    |                e che [(N2 → M2) = (M2 →N2)], donde che a) = b).- Assunte
 8 25    |                N=A, M=B, N1=A1, M1=B1, N2=A2, M2=B2, e siano N3 (=
 9 25    | indipendentemente da M, e quindi N3 → (N2 → M2)], N4 (= universalità
10 26    |               tesi prima: a) [(N=M)]=[(N2 → M2)+ (M1 →N1)] perché [
11 26    |                 N1)] perché [N4 →N3 → (N2 → M2)], M3 → (M1 → N1),
12 26    |              M2)], M3 → (M1 → N1), e [(N2 → M2)+(M1→N1)] →(N=M)];
13 26    |               cui (N=N4) = [N=N4 → N3 (N2 → M2)], ma (M=N) ≠ [M3 → (
14 26    |               N)]}, perché [N4 → N3 → (N2 → M2)]+[M3 →(M1 → N1)] → (
15 43    |              T3...Tn-5 attuali ] = [N1 N2 N3...Nn-x, attuali]-; 3)
16 43    |                identificheranno con N1 N2 N3...N17 attuali in N, in
17 90    |                denotanti di B, o Q R...N2, intelligibili formali denotanti
18 236   |              l'aggregato a2 b2 c2 d2...n2 sostituito dall'aggregato
19 345-46|                  b(beta) 22...b (beta) n2 + b(beta)3 + b(beta) 4 +
20 347   |                  b(beta) 22 +...b(beta)n2 ] }, il segno X per la classe