Prove that $4$ is the only solution to $2+2$. This question was featured on Saturday Morning Breakfast Cereal and I haven't been able to find a proof. Can anyone help?
When proving theorems in mathematics, one starts from a set of axioms, statements that are accepted as true without argument. You might ask, "but what if an axiom isn't true?", and the answer is that we would be dealing with different mathematics. For example, Euclid included the parallel postulate as an axiom in his elements. For years mathematicians tried to prove that the parallel postulate could be derived from the other axioms. It turns out that if you don't accept the parallel postulate, you end up with different types of geometry that we now call non-euclidean. Einsteins theory of general relativity depends on these geometries.

To come up with a proof of such a seemingly simple fact as $2 + 2 = 4$, we need a set of axioms to start with, and we need precise definitions of all the terms we are using. Depending on what set of axioms you start with, proving that $2 + 2 = 4$, and that no other natural number can equal $2+2$ may be either very simple or surprisingly difficult. For example in Russell and Whitehead's Principia, it famously took over 300 pages of work before they could prove that $1+1=2$. They started with a very sparse set of axioms though. 

The most common set of axioms for the natural numbers are the Peano Axioms.

They are


$0$ is a natural number.
For every natural number $x$, $x=x$.
For all natural numbers $x$ and $y$, if $x = y$, then $y = x$.
For all natural numbers $x$, $y$, and $z$, if $x = y$ and $y = z$, then $x = z$.
For all $a$ and $b$, if $a$ is a natural number, and $a = b$, then $b$ is a natural number.
For every natural number $n$, $S(n)$ is a natural number.
For every natural number $n$, $S(n) = 0$ is false.
For all natural numbers $m$ and $n$, if $S(m) = S(n)$ then $m = n$.
If $K$ is a set such that $0 \in K$, and for every natural number $n$, $n \in K$ implies that $S(n) \in K$, then $K$ contains all natural numbers.


Here $S$ is the successor function, it takes each natural number to its successor.
This might seem like a complicated mess compared to the simplicity of natural numbers, but we need to be precise. We need to carefully construct the axioms so that no contradiction can be derived from them, and so they encapsulate what we understand to be the natural numbers. We want to be able to prove interesting statements about the natural numbers from them. Note that the axioms contain undefined terms. The axioms don't need to state what the terms mean, only what they do. 

The following definitions are commonly used within this axiomatization. They are the definitions from Peano's original paper (An English translation is available in the book From Frege to Gödel), modified to start at $0$ instead of $1$.

$1$ is defined as $S(0)$, $2$ is defined as $S(1)$,
$3$ is defined as $S(2)$, and $4$ is defined as $S(3)$. Addition is defined
recursively as follows.

$$a + 0 = a$$
$$a + S(b) = S(a + b)$$.

Thus 

$$2 + 2 = 2 + S(1) = S(2 + 1) = S(2 + S(0)) = S(S(2 + 0)) = S(S(2)) = S(3) = 4$$

proving that $2+2 = 4$. 

This is the unique value of $2+2$ by axiom 4. 

If $x = 2+2$ and $2+2 = 4$, then $x = 4$.
Prove it geometrically...


Fist define your "anchor/base" unit -> a line with a defined length is #1.
Next define #2... just join 2 of your #1 units... and postulate it's #2, the double of the "base"... you can measure it... then you can prove it...
draw 2 of your #2 units, parallel in the geometric space, like in a vector space...
Draw the next sequence -> Move the beginning of the the 2nd #2 to the end of the 1st #2 and voilá... you have #4


*you can prove all the relations -> #1 = 1x #1 | #2 = 2x #1 | #4 = (4x #1 or 2x #2)
*if at a superior academic level you have to define and prove the operations also '+' and 'x'... at least the "neutral element" of operation 'x'... 
Good luck...