ガウスは「実無限」を認めない立場だったね。