集合論とは実数について考えるための道具だったのですね
哲学の方から集合論に興味持ったために長いこと勘違いしてました