5.47 Es ist klar, daß alles was sich überhaupt von vorneherein über die Form aller Sätze sagen läßt, sich auf einmal sagen lassen muß.
很清楚的，关于一切陈述的形式，凡是我们【事先】可以说的，我们必须能够【一下子】说出来。
Sind ja schon im Elementarsatze alle logischen Operationen enthalten.
其实，要素陈述自身已经包含了全部逻辑运算式。
Denn „fa” sagt dasselbe wie „(Ǝx) . fx . x=a”.
因为“fa”与“（Ǝ x）・fx・x＝a”所说的是一回事。
Wo Zusammengesetztheit ist, da ist Argument und Funktion, und wo diese sind, sind bereits alle logischen Konstanten.
凡是有复合性的地方，就有主目和函项，而有主目和函项的地方，就已经有了所有的逻辑常项。
Man könnte sagen: Die Eine logische Konstante ist das, was alle Sätze, ihrer Natur nach, mit einander gemein haben.
可以说：这一个逻辑常项就是一切【陈述】根据它们的本质所彼此共有的东西。
Das aber ist die allgemeine Satzform.
而这就是普遍的陈述形式。
很清楚的，关于一切陈述的形式，凡是我们【事先】可以说的，我们必须能够【一下子】说出来。
Sind ja schon im Elementarsatze alle logischen Operationen enthalten.
其实，要素陈述自身已经包含了全部逻辑运算式。
Denn „fa” sagt dasselbe wie „(Ǝx) . fx . x=a”.
因为“fa”与“（Ǝ x）・fx・x＝a”所说的是一回事。
Wo Zusammengesetztheit ist, da ist Argument und Funktion, und wo diese sind, sind bereits alle logischen Konstanten.
凡是有复合性的地方，就有主目和函项，而有主目和函项的地方，就已经有了所有的逻辑常项。
Man könnte sagen: Die Eine logische Konstante ist das, was alle Sätze, ihrer Natur nach, mit einander gemein haben.
可以说：这一个逻辑常项就是一切【陈述】根据它们的本质所彼此共有的东西。
Das aber ist die allgemeine Satzform.
而这就是普遍的陈述形式。