[일반] 김김계 이해 안되는게 있는데 질문좀

[익명(fdc81kr123)]

"그런데 F가 완비순서체이므로 아르키메데스 법칙에 의하여~~"
이 부분이 이해가 안됨
저기서 nㆍ1_F >-x로 둔 이유를 모르겠음ㅠㅠ

[익명(211.172)]

아래에서 Cx의 최소상계를 f(x)라고 정의하잖아요. 그런데 Cx가 공집합이면 정의가 안되니까 Cx의 원소를 하나 찾아야 되는데 그 때 아르키메데스 법칙을 쓴 거에요.

[익명(fdc81kr123)]

아아 감사합니다ㅠㅠㅠ 왜 저렇게 뒀는지 이해가 안되서 한참 고민했네요.