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

This question already has an answer here:

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

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

• There is a set-theoretical construction for complex numbers in terms of real numbers. – Lord Shark the Unknown Jun 1 '17 at 4:38

## 1 Answer

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\}.$