>>205-206
余談ですが、私は、素朴集合論すきですけどね（＾＾
そして、圏論的な見方など、新しい動きにもなっていると思います（>>203-204など）