User blog comment:LittlePeng9/First order oodle theory/@comment-30167082-20161222182647/@comment-30167082-20161222225545

LP9: Not quite. If there is more than one variable, how do we express the smallest solution? Surely we can't say "2 & 7" - we couldn't turn that into a natural number. I.E: Do we take the largest value of the infinite set of variables? (so 7 in this case)