No, I don't think there is any such implication. Mathematics works by defining some axioms and some rules on those axioms and then people think hard to see what theorems are true in this system. Being able to define something doesn't seem to imply that such a something must exist.
