>>369-370

ご苦労さまです
スレ主です

余談ですが、基礎論バーこと おサル＝サイコパス(>>9)が
数学板に来たのは、2016年中頃だった記憶がありますが
そのときに、論理式 ∃x.∀y. が書けると、ブイブイと自慢して
そして 自分は数学科修士卒だと自慢していました
（面倒なので過去ログ発掘はしませんが）

"論理式 ∃x.∀y. が書ける"という自慢も
化けの皮が、ほとんど はがれてますねｗ