数学ではこれを「集合」と呼ぶの？

何かを証明する時に最初に行うのは、その証明すべき事項(数学ではこれを「集合」と呼ぶ)に共通する命題を取り出すのが第一歩だ。これが「抽象化」なのであるが、数学が高度になるにつれ、具象から抽象を取り出すのではなく、抽象からさらなる抽象を取り出すという作業が増えてくる。これは実は「それが一番効率的」だからそうしているのであるが、この抽象のカスケードが進めば進むほど、「現実離れ」した恐怖感が出てくるようなのだ。