La forma generale della funzione di verità è: [, , N()].

Questa è la forma generale della proposizione

6.001 - 6.002

6.01    La forma generale dell'operazione ' () è dunque:

[, N ()]'() (= [, , N()]).

Questa è la forma più generale del passaggio da una proposizione all'altra.

6.02 (2)    E così veniamo ai numeri: Io definisco

x = ⁰'x  Def.   e
'^v'x = ^v+1'x  Def.

Secondo queste regole sui segni noi scriviamo dunque la serie 
x, 'x, ''x, '''x, . . . . . 
così: ⁰'x, ⁰⁺¹'x, ⁰⁺¹⁺¹'x, ^0+1+1+1'x, . . . . .

Dunque - invece di "[x, , ' ]" - scrivo: 

"[⁰', ^v'x, ^v+1'x]",

E definisco:
0 + 1 = 1  Def.
0 + 1 + 1 = 2  Def.
0 + 1 + 1 + 1 = 3  Def.
(e così via).

6.03 (1)    La forma generale del numero intero è:  [0, , +1].