And how do you prove that a totally-ordered, Dedekind-complete, Archimedean field does not lead to contradiction besides constructing it explicitly by bootstrapping from natural numbers?
It's probably a tomato/tomato kind of thing, but I'm only objecting to the 'algorithm' part of parent's comment.