B仔

yeah！ 天命哥哥d射程同準確度真係冇得頂呀！教下我o丫, 唔該！

李天命請問1+1=2 1+1=2個proof Cf： 1 = {α：Σx(xεα)&ΠyΠz[(yεα&zεα)→y=z]} 2 = {β：ΣxΣy[xεβ&yεβ&~(x=y)]&ΠuΠvΠw[(uεβ&vεβ&wεβ)→(u=vVu=wVv=w)]} m+n = {ξ：ΣγΣδ[γεm&δεn&γ∩δ=O&Πx[xεξ≡(xεγVxεδ)]]} 係咪量化邏輯黎嫁？呢個proof最先係由邊個證出黎嫁？