1+1=2인가?

러셀은 수학원리라는 책에서 1+1=2라는 것을 362쪽에 걸쳐서 증명했다 

그에게는 수학을 확고한 토대위에 두고자 하는 목표가 있었는데 그 목표를 위해서 

1+1=2라는 초등학생도 아는 명제를 362쪽에 걸쳐서 증명했던 것이다 

하지만 정말 그런가? 그의 증명은 완전한가? 그 자신도 인정했다시피 그가 제시했던 환원가능성공리는 엄청나게 인위적이다 전혀 공리 같은 느낌이 들지 않는다 만약 그런 가능성 공리마저도 공리로 제시해서 '공 리'라고 주장할 수 있다면 아예 골든바흐의 추측도 공리로 제시하고 골든바흐의 추측이 맞다고 증명할 수 있다 인위적인 증명은 인위적인 게임일 뿐 이성보편적인 진리가 될 수 없다 

왜 1+1=2인가? 당신은 알고 있는가? 알고 있다면 증명해보라