>>198
√２に収束する有理数列なら選択公理を使わなくても具体的に構成できるだろ。
その話が√２という具体的な実数に関するものか、
一般的な実数の代表として√２を持ち出しただけか、文脈がわからん。