Protocollo
1 25 | siano dati N ed M, N=A, M=B, N1 =A1 =, M1 = B1, N2 =A2,
2 25 | M2 =B2;sarà che N<M, M1 → N1, N2 → M2; sia o sia dimostrato
3 25 | sia o sia dimostrato che N1 =M1; si avrà che N=M, N1 →
4 25 | N1 =M1; si avrà che N=M, N1 → M1, N2 → M2; sia o sia
5 25 | sia o sia dimostrato che N1 = M1, ma non che N=M, si
6 25 | perché [(N= M) = (M1 → N1)+ ~[pag.25 F4]~(N2 → M2)]
7 25 | perché [(N=M) → (M=N)]; ma N1=M1 e N2=M2, donde [(N1 →
8 25 | ma N1=M1 e N2=M2, donde [(N1 → M1) = (M1 → N1)] e che [(
9 25 | donde [(N1 → M1) = (M1 → N1)] e che [(N2 → M2) = (M2 →
10 25 | B2, siano dati N=A, M=B, N1=A1, M1=B1, N2=A2, M2=B2,
11 26 | 26 F1]~quindi M3 → (M1 → N1); tesi prima: a) [(N=M)]=[(
12 26 | N=M)]=[(N2 → M2)+ (M1 →N1)] perché [N4 →N3 → (N2 →
13 26 | N2 → M2)], M3 → (M1 → N1), e [(N2 → M2)+(M1→N1)] →(
14 26 | N1), e [(N2 → M2)+(M1→N1)] →(N=M)]; tesi seconda:
15 26 | ma (M=N) ≠ [M3 → (M1 →N1)]; tesi terza: c) [(N=M) → (
16 26 | N4)], (M=N) ≠ [M3 → (M1→N1)]; tesi quarta: d) {[(M=
17 26 | N2 → M2)]+[M3 →(M1 → N1)] → (N=M) e [(N=M) → (M=
18 43 | T2 T3...Tn-5 attuali ] = [N1 N2 N3...Nn-x, attuali]-;
19 43 | si identificheranno con N1 N2 N3...N17 attuali in N,
20 43 | attuali in N, in quanto (N1....N17) → N18 (=R18), escludendo
21 43 | attuale in S come S18 per (N1...N17) → N19 (= S18) e N20
22 43 | attuale in T come T 18 per (N1...N17)→ N20 (= T18) e, insieme,
23 90 | connessione con B, ossia O P...N1, denotanti di B, o Q R...
24 137 | Cn (= specie di C)... N1....Nn (= specie di N).
25 236 | identici modi a1 b1 c1 d1... n1, cui subentra l'aggregato
26 345-46| b(beta)21 +....b(beta) n1 +(??)) b(beta)3 + b(beta)
27 345-46| a(alfa) 21 +....a(alfa) n1 + a(alfa) 3 + a(alfa) 4...) + (
28 347 | 11 +b(beta)21 +...b(beta) n1 + b(beta)3 + b(beta)4 +
29 347 | 11 + b(beta)21 +...b(beta)n1) =(b(beta)11 + b(beta) 22 +...
|