靠北交大 2.0 說
![https://imgs.plurk.com/Qyg/3bu/Q4m664ZNHES1F71uzSnLdtlU6ei_lg.jpg](https://imgs.plurk.com/Qyg/3bu/Q4m664ZNHES1F71uzSnLdtlU6ei_tn.jpg)
#靠交6035
⍤⃝ 這是一個很難的問題,挑戰你的邏輯,百分之九十五的人答不出這題:為什麼數學家特別討厭第九條式子?
1.∀x∀y[∀z(z∈x⇔z∈y)⇒∀z(x∈z⇔y∈z)]
2.∀x[∃a(a∈x)⇒∃y(y∈x∧¬∃z(z∈y∧z∈x))]
3.∀z∀w₁...wₙ∃y∀x[x∈y⇔x∈(z∧φ)]
4.∀x∀y∃z(x∈z∧y∈z)
5.∀F∃A∀Y∀x[(x∈Y∧Y∈F)⇒X∈A]
6. ∀Α∀w₁...wₙ [∀
![X-(](https://s.plurk.com/emoticons/basic/261c0fe4a88417146ae0292d697a5f52.gif)
![X-(](https://s.plurk.com/emoticons/basic/261c0fe4a88417146ae0292d697a5f52.gif)
...
✅ https://x.nctu.app/post/6035