論理哲学論考 6.02

論理哲学論考　1-7　6.01-6.03

　　　　

6.02 そして、我々はこのようにして数に到る：私は

x = Ω⁰'x　Def.

そして

Ω'Ω^ν'x = Ω^{ν +1}'x　Def.

と定義する。
そこで、これらの記号規則に随って、我々は列

x, Ω'x, Ω'Ω'x, Ω'Ω'Ω'x, . . .

を

Ω⁰'x, Ω⁰⁺¹'x, Ω⁰⁺¹⁺¹'x, Ω^0+1+1+1'x, . . .

と書く。
そこで、私は「[x, ξ, Ω'ξ ]」に代えて「[Ω⁰'x, Ω^ν'x, Ω^{ν +1}'ξ ]」と書く。
そして、こう定義する。

0 + 1 = 1　Def.

0 + 1 + 1 = 2　Def.

0 + 1 + 1 + 1 = 3　Def.
（以下同様）

6.021 数はひとつのオペレーションの冪指数〔der Exponent〕だ。

6.022 数概念は、総ての数に共通するもの、数の一般的形式に他ならない。
数概念は変数的数だ。
そして、数的同一性の概念は総ての特殊な数的同一性がもつ一般的形式だ。