>>419
閉論理式ワロタ
任意のδ>0に対してδ<|2δ|なので
∀δ > 0, ∃Δx, ¬(0 < |Δx| < δ)
よって偽

Δx→0が未定義じゃないとか「dxは微小変位」が厳密な定義とか言ってるやつって結局この程度の馬鹿しかいないんだよな