두 실수 a b 의 덧셈 혹은 곱셈이 commutative 한게 꼭 공리여야함?
너무 멍청한 짓인거 같기도 한데,
a+b=b+a 가 같다는걸 완비성공리 이용해서 증명하는게 좀 더 자연스러운거 같아서 그럼
유리수의 경우 사칙연산이 commutative 하다는걸 어찌어찌 보인다 쳐도 실수는 글쎄...