А вы можете доказать что 2+2=4? Только не на уровне яблок и пальцев) а на уровне высшей математики)

Answer 1

2 - это натуральное число, полностью подходяще под определение натуральных чисел и входяще во множетво натуральных чисел.
 
Поскольку 2 - это натуральное число, то для него, как и для всех натуральных чисел определена бинарная операция сложения, которая удовлетворяет следующим свойствам:
 
a + 1 = a'
a + b' = a' + b = (a + b) '
 
Где a, b - натуральные числа.
 a' - натуральное число, следующе за a.
Тогда согласно определению бинарной операции сложения над множеством натуральных чисел:
 
2+2 = 2+ 1' = (2' = 3' = 4
Что требовалось доказать.

Answer 2

На уровне ВМ доказывается что 1=2. Доказательство 2+2=4 следует из него же. Насколько я помню, там исследуются свойства элементарной алгебры вобще и операции адъюнкции в частности. Хотя может я уже и гоню - давно дело было.

Answer 3

Для доказательства тезиса "2+2" равно "4" необходимо доказать тождественность всех свойств правой и левой его частей - операндов. Представляется очевидным, что это не так. Как минимум, запись операнда "2+2" не совпадает с записью "4". Таким образом, имет смысл говорить не обо всех, а о некоторых, актуальных, свойствах. Актуальность подразумевает зависимость от контекста. То есть, от модели, в которой используются свойства сравниваемых величин.

Answer 4

Где-то так примерно будет.
Если не учитывать налог, поправку на ветер, усушку и утряску.