보조정리1은 +의 첫번째 정의랑 똑같은건데 굳이 안해도될걸 증명하고있네
사실 1+1=2 를 증명하게위해 +함수가 갖는 덧셈의 성질을 전부 증명할 필요는 없는데, 여기선 굳이 결합법칙을 증명했음. 교환법칙은 왜 안했는진 몰루
그래도 최소한 틀린소리를 하진 않은듯
페아노 공리계에 대해 알아보면 좀 더 깔끔한 설명 찾을 수 있긴 할듯
얼마 전에 올라온 나홀로 해석학인가 거기서도 이거보다는 좀 더 잘 설명하긴 함
어차피 공리를 어떻게 세우느냐 차이임
http://dimenchoi.tistory.com/16- dc App
여기서 모티베이션 얻고 페아노 공리계랑 가환군 찾아보는 거 추천 - dc App
보조정리1은 +의 첫번째 정의랑 똑같은건데 굳이 안해도될걸 증명하고있네
사실 1+1=2 를 증명하게위해 +함수가 갖는 덧셈의 성질을 전부 증명할 필요는 없는데, 여기선 굳이 결합법칙을 증명했음. 교환법칙은 왜 안했는진 몰루
그래도 최소한 틀린소리를 하진 않은듯
페아노 공리계에 대해 알아보면 좀 더 깔끔한 설명 찾을 수 있긴 할듯
얼마 전에 올라온 나홀로 해석학인가 거기서도 이거보다는 좀 더 잘 설명하긴 함
어차피 공리를 어떻게 세우느냐 차이임
http://dimenchoi.tistory.com/16
- dc App
여기서 모티베이션 얻고 페아노 공리계랑 가환군 찾아보는 거 추천 - dc App