「云うまでもないが、人間の推論構造はしなやかである。
一階の述語論理が人間の推論様式を全般に渡って記述しうるというのは
十分な検証を要する一種のドグマである。」 by 某W先生

「一階の述語論理」の部分を「NBG集合論」にしてみたり、
「人間の推論様式」の部分を「数学者の推論様式」にしてみると、
＞書こうと思ったら書けるよ
ってのは楽観的すぎかなとも思う。