>>26
その場合、わかりやすくするためには例を先に挙げるべきでしょうか、それとも論理展開のほうでしょうか。

ブルバキってその壮大な目標とすっきりした方針に感動して読もうとしたが、集合論の2巻
あたり（ほとんど最初）で挫折した。まーそれでも記号論理の勉強にはなったし、後々役にはたった。
あの試みは結局挫折したって聞いたけど、教科書として評価されてるの？