Seems like it would be pretty easy, doesn't it ???
It can be made difficult, as this shows : http://tachyos.org/godel/1+1=2.html
And no....I don't understand a single thing !!!!
[ As the article points out.....there are even longer proofs ]
IDK. Maybe here is 1 emoji: Here is another emoji: . In total we have these emojis: . We count them and we get 2.
I don't think this is a real proof though.
I think what you are after are known as the Peano Axioms