mmw32Tohは、集合論を使って実数を実装する方法しか知らないんだろう
(まあ標準的なカリキュラムではそれしか勉強せんしな)

彼を納得させるには、
＞実数は構成的手法を用いなくても代数的に定義できますし
この実例を見せつけてあげた方が早いと思うよ
このスレに直接書くか、該当する記事のリンクを貼るかして