ネット侍の数理論理学厨が酷いからなあ
ほとんどの数学科の学生、研究者が数理論理学スルーしてるのをいいことに
「お前らわからんだろww」ってあちこち荒らしまくる