靠北交大 2.0

新版靠北交大 2.0 讓全校師生都有了審核的權限,每天穩定發出投稿文章。
#靠交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(x∈A⇒∃!yφ)⇒∃B∀x(x ∈A⇒∃y(y∈B∧φ))]

7.∃X[∅∈X∧∀y(y∈X⇒S(y)∈X)]

8.∀x∃y∀z[z⊆x⇒z∈y]

9.∀X[∅∉X⇒∃f(f:X→∪X) ∀A∈X(f(A)∈A)]
Telegram: @xNCTU/6059
Facebook: @xNCTU2.0/128199055769026 (2 likes)
Instagram: @x_nctu/CIQot_1MXEM
Plurk: @xNCTU/o46qno
Twitter: @x_NCTU/1333792995485728768
審核結果: 6 票 / 0 票
投稿時間:
靠北交大 2.0
# 系級 暱稱 理由
此區域僅限交大使用者查看

您可以打開 #投稿DEMO ,免登入即可預覽投票介面