HOME TOP UP PREV NEXT GERMAN MAP      Tractatus Logico-Philosophicus 6.241

6.241

Thus the proof of the proposition 2×2=4 runs:
(^v)^µ'x=^v×µ'x Def.
^2×2'x = (²)²'x = (²)¹⁺¹'x = ²'²'x = ¹⁺¹'¹⁺¹'x
= (')'(')'x = ''''x = ^1+1+1+1'x = ⁴'x.

HOME TOP UP PREV NEXT GERMAN MAP      Tractatus Logico-Philosophicus 6.241