5,960
edits
No edit summary |
No edit summary |
||
Line 1,571: | Line 1,571: | ||
Questa è la forma generale della proposizione. | Questa è la forma generale della proposizione. | ||
6.001Questo non dice altro se non che ogni proposizione è un risultato dell'applicazione successiva dell'operazione <math>N (\bar{\xi})</math> alle proposizioni elementari. | |||
6.002Se è data la forma generale secondo cui è costruita una proposizione, è anche già data con ciò la forma generale secondo cui da una proposizione, mediante un'operazione, può esserne generata un'altra. | |||
6.01La forma generale dell'operazione <math>\Omega ' (\bar{\eta})</math> è quindi: <math>[\bar{\xi}, N(\bar{\xi})]' (\bar{\eta}) (= [ \bar{\eta}, \bar{\xi}, N (\bar{\xi}) ])</math>. | |||
Questa è la forma più generale del passaggio da una proposizione a un'altra. | |||
6.02E così veniamo ai numeri: definisco | |||
<p style="text-align:center;"><math>x = \Omega^{0 \prime} x \text{ Def.}</math> e<br> | |||
<math>\Omega^{\prime} \Omega^{ \nu \prime} x = \Omega^{ \nu + 1 \prime} x \text{ Def.}</math></p> | |||
Secondo questa regola segnica quindi scriviamo la serie <math>x, \Omega ' x, \Omega ' \Omega ' x, \Omega ' \Omega ' \Omega ' x, .....</math> | |||
<p style="text-align:center;">così: <math>\Omega^{0 \prime} x, \Omega^{0+1 \prime} x, \Omega^{0 + 1 + 1 \prime} x, \Omega^{0 + 1 + 1 + 1 \prime} x, .....</math></p> | |||
Dunque, invece che «<math>[ x, \xi, \Omega ' \xi ]</math>», scrivo: | |||
<p style="text-align:center;">«<math>[ \Omega^{0 \prime} x, \Omega^{ \nu \prime} x, \Omega^{ \nu + 1 \prime} x ]</math>».</p> | |||
E definisco: | |||
:<math>0 + 1 = 1 \text{ Def.}</math> | |||
:<math>0 + 1 + 1 = 2 \text{ Def.}</math> | |||
:<math>0 + 1 + 1 + 1 = 3 \text{ Def.}</math> | |||
:<math>\text{(e così di seguito).}</math> | |||
6.021 | |||
<references /> | <references /> |