The general form of truth-function is: [, , N()].
This is the general form of proposition.
6.01 The general form of the operation ' () is therefore:
[, N ()]'() (= [, , N()]).
This is the most general form of transition from one proposition to another.
6.02 (2) And thus we come to numbers: I define
'v'x = v+1'x Def.
According, then, to these symbolic rules we write the series
Therefore I write in place of "[x, ,
And I define:
6.03 (1) The general form of the cardinal number is: [0, , +1].