2 + 2 = 4 is not obvious. It is a definition.
Strictly speaking, it is a theorem (obvious one). 4=3+1 is a definition.
I thought “4 comes after 3” was a definition and “3+1 = 4″ was a theorem.
Strictly speaking, it is a theorem (obvious one). 4=3+1 is a definition.
I thought “4 comes after 3” was a definition and “3+1 = 4″ was a theorem.