Tractatus

6.241

So lautet der Beweis des Satzes 2 × 2=4:

ν)μx=Ων× μx Def.
Ω2 × 2x=2)2x=2)1+1x=Ω2Ω2x
=Ω1+1Ω1+1x=(Ω’Ω)’(Ω’Ω)’ x
=Ω’Ω’Ω’Ω’x=Ω1+1+1+1x=Ω4x.