Proof That 1+1=2

§54.3. ⊢: α, β ∈ Λ. ≡ . α∨β∈2 Dem. ⊢ h.*§4'26. ⊢: α = lᵡ. β = lʸ. : α∨β∈2. ≡ . x ≠ y. [§51·231] ≡ . lᵡ∩lʸ = Λ. [§13·12] ≡ . α∩β = Λ (1) ⊢ . (1) · §11·11·35. ⊃ ⊢: (αx,y). α = lᵡ. β = lʸ. : α∨β∈2. ≡ . α∩β = Λ (2) ⊢ . (2) · §114·54·52·1. Prop From this proposition it will follow, when arithmetical addition has been defined, that 1+1 = 2.

A dense page of symbolic mathematical notation presents a deliberately obscure proposition and proof, ending with the readable claim that once arithmetic addition is defined, 1+1=2. The joke is the comically overcomplicated formal proof of an obvious elementary fact, used as a reaction to pedantic reasoning or needlessly complicated explanations. EN: A dense page of symbolic mathematical notation presents a deliberately obscure proposition and proof, ending with the readable claim that once arithmetic addition is defined, 1+1=2. The joke is the comically overcomplicated formal proof of an obvious elementary fact, used as a reaction to pedantic reasoning or needlessly complicated explanations.

• @eternalclassic / 2272 2021-10-30