>>43
Wikipedia has a weaselly definition of it:
``When the real numbers are instead constructed using a model, completeness becomes a theorem or collection of theorems.``
https://en.wikipedia.org/wiki/Completeness_of_the_real_numbers#Forms_of_completeness