수학적으로 1더하기1도 증명이 가능한가요?

안녕하세요. 수학자들은 정말 많은 논제들을 증명하더군요. 그런데 1 더하기 1과같은, 어찌보면 당연한 이야기들도 증명이라는게 가능할까요? 궁금합니다.