Hacker News new | ask | show | jobs
by saithound 2052 days ago
The reals and the rationals do not have the same elementary theory over the language (>,+,*).
1 comments
zzless 2052 days ago
You are correct, one would have to exclude the multiplication for that.
link