1+1=2の正式な証明はどうすればいいのですか?