靠交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∈A⇒∃!yφ)⇒∃B∀x ∈A⇒∃y(y∈B∧φ))]

...

✅ https://x.nctu.app/post/6035

真是太令人生氣了!

🕓 投稿時間：2020 年 12 月 01 日 23:04 (16 分鐘前)

審核結果：✅ 通過 6 票

🥙 其他平台：Facebook、Twitter、Instagram、Telegram

👉 立即投稿：https://x.nctu.app/submit

快使用獨家咒語！算算、結果出 ♥(´∀` )人

就是這個汪、超級生氣 (`д´)