Delete comment from: Computational Complexity
For second-order you can express the distance using addition and then express the sentence that a Cauchy sequence has a limit.
Oct 2, 2016, 7:17:36 PM
Posted to Give a second order statement true in (R,+) but false in (Q,+) or show there isn't one