>>697
逆に集合は構成方法として強力過ぎるから封印して、計算機で扱えるような構成主義的な方向に進むとどうしても2つの実数が比較できない場合ができたり、連続関数は(局所)定数関数しかないみたいな奇妙な話になるから興味があるなら突き進んでもいいとは思うけどオススメはしない