양정범 [yjb0925] 12-04-07 03:10

 

문제 자체가 정답인거 같은데

박병선 [hiphoppbs] 12-04-07 08:15

 

ㅋㅋ 그렇죠... = 의 용어의 정의가 그건 같은데...

김동률 [kjhacker] 12-04-08 13:23

 

정의는 아닌것 같습니다.
생각해보니 페아노 공리계를 통해서 여러 법칙을 증명하고 그 법칙을 통해서 증명할 수 있을 것 같군요

김지성 [galois] 12-04-09 23:33

 

오로지 페아노 공리계만을 이용해선 불가능합니다. 실수계의 순서공리를 참고하셔야 합니다.

김동률 [kjhacker] 12-04-10 20:05

 

페아노 공리계를 이용해서 수학적귀납법으로 교환, 결합법칙등을 증명할 수 있습니다. 또한 a=b이면 a+c=b+c, ac=bc임을 알 수 있습니다. 이러한 사실로 a=b이면 b=a임또한 증명할 수 있다고 생각합니다.

김지성 [galois] 12-04-11 11:52

 

실수계의 순서공리에 의하여 a-b는 양수, 0, 음수 중 한가지만을 만족합니다. 그리고 b-a=-(a-b)입니다.(a-b의 덧셈에 대한 역원) a-b=0 이고 0에 대한 덧셈의 역원은 0이므로 b-a=0 입니다.(역원은 유일하므로) 그러므로 b=a입니다.
확장되지 않은 페아노 공리계는 오로지 자연수에 대한 내용입니다.
relation에 대한 내용을 참고하시면 도움이 될 것 같아요.

허훈 [fortune81] 12-04-07 13:36

 

잘모르지만 참고해보세요.

http://mathforum.org/library/drmath/view/51563.html

김지성 [galois] 12-04-07 14:27

 

http://www.emathzone.com/tutorials/real-analysis/order-axioms-for-real-numbers.html
 a-b와 b-a를 원소라 생각하면 되겠네요 ㅎ

임재광 [limkong] 12-04-10 11:43

 

공리아님?

김동률 [kjhacker] 12-04-10 20:04

 

아님!

변성윤 [zzippa] 12-04-21 22:55

 

문제는 "히야리"