>>698
仰っていることはまさにそれで
Qまでしかない世界で
Q_1=q_1/p_1, Q_2=q_2/p_2とおいて
まだペアノ算術の世界なので整数しか取り扱えない計算機で
f(int q_1, int p_1, int q_2, int p_2)
みたいな関数fを考えてもfの内部では整数しか扱えないんだから実数出てこなくね？　って疑問です

そもそも何でこんなこと聞いてるかというと
自然数から出発してるのに、自然数と実数で濃度が違うという事実を納得したいからです