Logisch-philosophische Abhandlung: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 1,692: Line 1,692:
Denn die Gleichungen drücken die Ersetzbarkeit zweier Ausdrücke aus und wir schreiten von einer Anzahl von Gleichungen zu neuen Gleichungen vor, indem wir, den Gleichungen entsprechend, Ausdrücke durch andere ersetzen.
Denn die Gleichungen drücken die Ersetzbarkeit zweier Ausdrücke aus und wir schreiten von einer Anzahl von Gleichungen zu neuen Gleichungen vor, indem wir, den Gleichungen entsprechend, Ausdrücke durch andere ersetzen.


6.241    So lautet der Beweis des Satzes 2 × 2 = 4:<references />
6.241    So lautet der Beweis des Satzes 2 × 2 = 4:
 
<p style="text-align:center;"><math>( \Omega^{\nu} )^{\mu \prime} x = \Omega^{\nu \times \mu \prime} x \text{ Def.}</math></p>
<p style="text-align:center;"><math>( \Omega^{2 \times 2 \prime} x = (\Omega^2 )^{2 \prime} x = ( \Omega^2 )^{1+1 \prime} x = \Omega^{2 \prime} \Omega^{2 \prime} x = \Omega^{1 + 1 \prime} \Omega^{1 + 1 \prime} x</math></p>
<p style="text-align:center;"><math>(\Omega ' \Omega)^{\prime} (\Omega ' \Omega)^{\prime} x = \Omega ' \Omega ' \Omega ' \Omega ' x = \Omega^{1 + 1 + 1 + 1 \prime} x = \Omega^{4 \prime} x</math></p>
 
<references />