2は自然数の加減乗除で表せる(というかそれが定義)けど、ルート2はかけない
じゃあルート2の定義はっていうと、方程式の解であって、1と2の間に存在しそうだけど本当にあるの？って話
結局新しい仮定が必要になってきて、それが収束有理数列と同値で、この列は手続き=関数と同値

なんかスレチで荒らしてすまんな
困難わかってても実際はあまり役にたたたないし