S4?4s. ┣::α∈2. ⊃∴β⊂α. !β?β≠α.≡.β∈L¨α 
Dem. 

-.*54?4. ⊃┣::α=L?×UL?y.⊃∴ 
        β⊂α. ∃!β.≡:β=∧.v.β=L?×.v.β=L?y. 
                                  ↓ 
                              v.β=α:∃!β. 
[*24?53?56?.*51?161] ≡ :β=L?×.v.β=L?y.v.β=α  (1) 

┣.*51.25.Transp.*52.22.⊃┣:χ≠y.⊃.L?×UL?y 
                                    ↓ 
                                    ≠L?×. L?×UL?y≠i 
[*13?12]⊃┣:α=L?×UL?y.χ≠y.⊃.α≠L?×.α≠L?y  (2) 
┣.(1).(2).⊃┣::α=L?×UL?y.χ≠y⊃∴ 
              β⊂α. ∃!β.β≠α.≡:β=L?×.v.β=L?y: 
[*51?235]                    ≡:(∃z)?∈α.β=L?z: 
[*37.6]                        ≡:β∈L¨α      (3) 
┣.(3).*11?11?35. *54.101.⊃┣. Prop. 
*54.43. ┣∴α,β∈1. ⊃:α∩β=∧.≡.α∪β∈2 
    Dem. 
      ┣.*54?26?⊃┣∴α=L?×β=L?y.⊃:α∪β∈2.≡χ≠y. 
        [*51?231]                  ≡.L?×∩L?y=∧. 
        [*13?12]                    ≡.α∩β=∧ (1) 
      ┣.(1).*11?11?35.] 
          ┣∴(∃×χ₁y).α=L?×.β=L?y.⊃:α∪β∈2. 
                                ≡.α∩β=∧    (2) 
      ┣.(2).*11?54.*52?1⊃┣. Prop. 

.......... 이공계가 설명하는 1+1=2인 이유

이것좀 설명해주실분 =ㅁ=??