1+1=?(비교)

 r93 vs r94
 ...
 그러니까 일반적인 물건 한 개에 다른 물건 한 개가 더 있으면 두 개고 또 어떤 수에 1 더하면 다음 수가 되니까 1 다음 수인 2가 되는 거 아님?
-==== 반박 ====
+====# 반박 #====
 이태껏 들어본 주장 중 가장 어이가 없네요.
 먼저 그 물건 더하기는 어디서 나온 거죠? 그 물건이 주장 2, 주장 26처럼 특정 물체일 시 1이나 그 물질 자체가 될 수 있는데요
 ...
 그리고 + 기호를 그냥 단순히 더하기로 간주하시는데, 그게 어디 정의되어있죠? 수학자들이 그렇게 약속했다고요? 그들이 틀렸으면요? 또 우리가 실제로 사용하는 함수 +와 더하기는 서로 완전히 다른 개념일 수 있습니다. 따라서 1+1은 1 더하기 1이 아닐 수 도 있습니다.
-마지막으로, 뭐 마지막 주장에 반박하기 위해서 서로 같은 함수라 칩시다. 이미 제가 물어볼 걸 예상하셨을 수도 계시겠지만, 왜 1 더하면 다음 수가 되나요? 페아노 공리계라 그렇다고요? 페아노 공리계라는 보장이 있나요.. 물론 현재 수학 체계에서 그 공리계를 사용할 수 있지만 그게 수학적으로 알맞다는 걸 증명하시죠? 잠깐 괴델의 불완전성 정리를 인용해보겠습니다.
+마지막으로, 뭐 마지막 주장에 반박하기 위해서 서로 같은 함수라 칩시다. 이미 제가 물어볼 걸 예상하셨을 수도 계시겠지만, 왜 1 더하면 다음 수가 되나요? 페아노 공리계라 그렇다고요? 페아노 공리계라는 보장이 있나요.. 물론 현재 수학 체계에서 그 공리계를 사용할 수 있지만 그게 수학적으로 알맞다는 걸 증명하시죠? 잠깐 괴델의 [[불완전성 정리]]를 인용해보겠습니다.
 > '''제1정리.''' 페아노 공리계를 포함하는 어떠한 공리계도 무모순인 동시에 완전할 수 없다. 즉 자연수 체계를 포함하는 어떤 체계가 무모순이라면, 그 체계에서는 참이면서도 증명할 수 없는 명제가 적어도 하나 이상 존재한다.
 >----
 > '''제2정리.''' 페아노 공리계가 포함된 어떠한 공리계가 무모순일 경우, 그 공리계로부터 그 공리계 자신의 무모순성을 도출할 수 없다.
 ...