>>11883369Definition 1.1. Let 4 be the number 2 + 2
Definition 1.2. Let 2 be the number 4 divided by 2
Lemma 1.3. If b is equal to a divided by 2, then a = b + b
Proof: Suppose to the contrary that b + b = c =/= a. Then b + b = 2 * b = c, and if we divide both sides by 2, we obtain b = 2*b/2 = c / 2. But also b = a / 2. Therefore c/2 = a/2. Multiply both sides by 2 to get that c = a, a contradiction. Therefore b + b = a.
Theorem 1.4. 2 + 2 = 4
Proof: By Definition 1.2, 2 is the number 4 divided by 2. Applying Lemma 1.3 to the inputs a = 4 and b = 2, we obtain that 2 + 2 = 4
