>>756
＞集合論を用いて定義する方法はもはや標準的ではありません

そうかなあ
数学科では集合論ベースの"例のやり方"しか教わらないと思うけど。

いったん数理論理学の勉強を始めれば景色は変わるんだろうけど、
それを標準的なカリキュラムとして組み込んでる数学科ってそんなにあるかな？