# Is there a proof for existence of complex and hypercomplex numbers [duplicate]

As mathematics advanced ,mathematicians found out new type of numbers such as complex numbers and hypercomplex numbers . I had been really fascinated by this idea and the uses of these numbers. However I still have a doubt about them which had actually occured to me recently.When we define a number how do we know that their existence alone does not contradict the existing axioms and theories?Also ,I have heard that there are theories about real numbers whose proofs are based oncomplex numbers. How do we know that those are correct unless we are sure that complex numbers numbers do exist?Thus ,my question is ,IS THERE AN ACTUAL PROOF FOR EXISTENCE OF COMPLEX NUMBERS or is it that I am mistaken some where?Please help. Thanks in advance...

## marked as duplicate by Zev Chonoles, dxiv, Arthur, David K, Claude LeiboviciJun 1 '17 at 8:12

We can define $\mathbb C$ as the set $\mathbb R^2$ with binary operations $+_C$ and $\times_C$, where $(a,b)+_C(a',b')=(a+a',b+b')$ and $(a,b)\times_C(a'b')=(aa-bb', ab'+ba').$ The reals are then isomorphically embedded in $\mathbb C$ as $\mathbb R\times \{0\}.$