Protocollo

 1 25 |        B1, N2=A2, M2=B2, e siano N3 (=esistenza in sé di N,
 2 25 | indipendentemente da M, e quindi N3 → (N2 → M2)], N4 (= universalità
 3 25 |     esistenza di N, e quindi N4 →N3), M3 (= universalità e necessità
 4 26 |             M1 →N1)] perché [N4 →N3 → (N2 → M2)], M3 → (M1 →
 5 26 |          in cui (N=N4) = [N=N4 → N3 (N2 → M2)], ma (M=N) ≠ [
 6 26 |            M=N)], perché (N=M) → N3, (N=M) → N4, (N=M) → M3
 7 26 |          N=M) → N4, (N=M) → M3 e N3 →[M=N (=N3)], N4 → [M=N (=
 8 26 |           N=M) → M3 e N3 →[M=N (=N3)], N4 → [M=N (=N4)], (M=
 9 26 |             M=N)]}, perché [N4 → N3 → (N2 → M2)]+[M3 →(M1 →
10 43 |          Tn-5 attuali ] = [N1 N2 N3...Nn-x, attuali]-; 3) che
11 43 |       identificheranno con N1 N2 N3...N17 attuali in N, in quanto (
12 236|     dall'aggregato a3 b3 c3 d3...n3, sostituito dall'aggregato