自然数における可算性、順序性で
 有理数の計算 → 実数の連続性
を証明している数学的な話を知らない奴だよな。