6 The general form of a truth-function is [p, E, N(E)]. This is the general form of a proposition.
6 真值函项的一般形式是:〔p，ξ，N（ξ）〕这也是命题的一般形式。
6.001 What this says is just that every proposition is a result of successive applications to elementary propositions of the operation N(E)
6.001 它只是说明：每个命题都是连续应用运算N（ξ）于基本命题的结果。
6.002 If we are given the general form according to which propositions are constructed, then with it we are also given the general form according to which one proposition can be generated out of another by means of an operation.
6.002 如果有了怎样构成一个命题的一般形式，那么也就随之有了怎样通过一个运算可以从一个命题产生出另一个命题的一般形式。
6.01 Therefore the general form of an operation /'(n) is [E, N(E)] ' (n) ( = [n, E, N(E)]). This is the most general form of transition from one proposition to another.
6.01 因此运算Ω’（ή）的一般形式是：〔ξ，N（ξ）〕’（ή）（＝〔ή，ξ，N（ξ）〕）。这是由一个命题过渡到另一个命题的最一般的形式。
6.02 And this is how we arrive at numbers. I give the following definitions x = /0x Def., /'/v'x = /v+1'x Def. So, in accordance with these rules, which deal with signs, we write the series x, /'x, /'/'x, /'/'/'x, ... , in the following way /0'x, /0+1'x, /0+1+1'x, /0+1+1+1'x, ... . Therefore, instead of '[x, E, /'E]', I write '[/0'x, /v'x, /v+1'x]'. And I give the following definitions 0 + 1 = 1 Def., 0 + 1 + 1 = 2 Def., 0 + 1 + 1 +1 = 3 Def., (and so on).
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’x〕’”
而且我给出如下定义：
0＋1＝1 Def．
0＋ 1＋ 1＝ 2 Def．
0＋ 1＋ l＋ l＝ 3 Def．
（以及依此类推）
6.021 A number is the exponent of an operation.
6.021 数是一个运算的阶次。
6.022 The concept of number is simply what is common to all numbers, the general form of a number. The concept of number is the variable number. And the concept of numerical equality is the general form of all particular cases of numerical equality.
6.022 数的概念不过是一切数所共有的东西，即数的一般形式。数的概念是变数，数相等的概念就是一切特定的数相等情形的一般形式。
6.03 The general form of an integer is [0, E, E +1].
6.03 整数的一般形式是:〔0，ξ，ξ＋1〕
6.031 The theory of classes is completely superfluous in mathematics. This is connected with the fact that the generality required in mathematics is not accidental generality.
6.031 类的理论在数学中完全是多余的。与此相关联的一点是：数学中所需要的概括，不是偶然的概括。
6 真值函项的一般形式是:〔p，ξ，N（ξ）〕这也是命题的一般形式。
6.001 What this says is just that every proposition is a result of successive applications to elementary propositions of the operation N(E)
6.001 它只是说明：每个命题都是连续应用运算N（ξ）于基本命题的结果。
6.002 If we are given the general form according to which propositions are constructed, then with it we are also given the general form according to which one proposition can be generated out of another by means of an operation.
6.002 如果有了怎样构成一个命题的一般形式，那么也就随之有了怎样通过一个运算可以从一个命题产生出另一个命题的一般形式。
6.01 Therefore the general form of an operation /'(n) is [E, N(E)] ' (n) ( = [n, E, N(E)]). This is the most general form of transition from one proposition to another.
6.01 因此运算Ω’（ή）的一般形式是：〔ξ，N（ξ）〕’（ή）（＝〔ή，ξ，N（ξ）〕）。这是由一个命题过渡到另一个命题的最一般的形式。
6.02 And this is how we arrive at numbers. I give the following definitions x = /0x Def., /'/v'x = /v+1'x Def. So, in accordance with these rules, which deal with signs, we write the series x, /'x, /'/'x, /'/'/'x, ... , in the following way /0'x, /0+1'x, /0+1+1'x, /0+1+1+1'x, ... . Therefore, instead of '[x, E, /'E]', I write '[/0'x, /v'x, /v+1'x]'. And I give the following definitions 0 + 1 = 1 Def., 0 + 1 + 1 = 2 Def., 0 + 1 + 1 +1 = 3 Def., (and so on).
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’x〕’”
而且我给出如下定义：
0＋1＝1 Def．
0＋ 1＋ 1＝ 2 Def．
0＋ 1＋ l＋ l＝ 3 Def．
（以及依此类推）
6.021 A number is the exponent of an operation.
6.021 数是一个运算的阶次。
6.022 The concept of number is simply what is common to all numbers, the general form of a number. The concept of number is the variable number. And the concept of numerical equality is the general form of all particular cases of numerical equality.
6.022 数的概念不过是一切数所共有的东西，即数的一般形式。数的概念是变数，数相等的概念就是一切特定的数相等情形的一般形式。
6.03 The general form of an integer is [0, E, E +1].
6.03 整数的一般形式是:〔0，ξ，ξ＋1〕
6.031 The theory of classes is completely superfluous in mathematics. This is connected with the fact that the generality required in mathematics is not accidental generality.
6.031 类的理论在数学中完全是多余的。与此相关联的一点是：数学中所需要的概括，不是偶然的概括。
