命题6的补充：
6.01 : Die allgemeine Form der Operation Ω’(η¯) ist also:
[ξ¯, N(ξ¯)]’(η¯) (= [η¯, ξ¯, N(ξ¯)]).
因此运算式Ω’(η¯)的一般形式是：
[ξ¯, N(ξ¯)]’(η¯) (= [η¯, ξ¯, N(ξ¯)]).
Das ist die allgemeinste Form des Überganges von einem Satz zum anderen.
这是由一个陈述过渡到另一个陈述的最一般的形式。
6.01 : Die allgemeine Form der Operation Ω’(η¯) ist also:
[ξ¯, N(ξ¯)]’(η¯) (= [η¯, ξ¯, N(ξ¯)]).
因此运算式Ω’(η¯)的一般形式是：
[ξ¯, N(ξ¯)]’(η¯) (= [η¯, ξ¯, N(ξ¯)]).
Das ist die allgemeinste Form des Überganges von einem Satz zum anderen.
这是由一个陈述过渡到另一个陈述的最一般的形式。