論理哲学論考　1-7

---

6	真理関数の一般的形式はこうだ： [, , N()]。 これが文の一般的形式だ。
	〔6.0 という番号をもつ文は存在しない。〕
6.01	オペレーション Ω'() の一般的形式は、だから、こうだ。 [, N()]'() (= [, , N()]) これは或る文から別の或る文への移行の最も一般的な形式だ。
6.02	そして、我々はこのようにして数に到る： 私は x = Ω0'x　Def. そして Ω'Ων'x = Ων +1'x　Def. と定義する。 そこで、これらの記号規則に随って、我々は列 x, Ω'x, Ω'Ω'x, Ω'Ω'Ω'x, . . . を Ω0'x, Ω0+1'x, Ω0+1+1'x, Ω0+1+1+1'x, . . . と書く。 そこで、私は「[x, ξ, Ω'ξ ]」に代えて「[Ω0'x, Ων'x, Ων +1'ξ ]」と書く。 そして、こう定義する。 0 + 1 = 1　Def. 0 + 1 + 1 = 2　Def. 0 + 1 + 1 + 1 = 3　Def. （以下同様） 〔6.021-6.022〕
6.03	整数の一般的形式はこうだ： [0, ξ, ξ + 1]。 〔6.031〕

---

論理哲学論考　1-7