線分上の「点の数」とやらは有限なのか。それでは数学では扱えんな。