[일반] 실수의 삼분성은 공리인가요?

[ROEN(orenzzang)]

제기억엔 공리라고 배우고 넘어간듯한데..

[익명(39.7)]

실수를 구성했으면 공리가 아님

[익명(220.121)]

순서공리가 동치가 많아서 어떻게 배웠냐에 따라 다름

[익명(61.78)]

실수를 완비순서체의 공리로서 받아들인다면 공리일 수도 있어요. 순서공리를 어떻게 설정하냐에 따라 다른데요. 삼분성을 순서공리의 일부로서 채택하기도 해요. 그렇지 않다면 삼분성은 증명가능하구요.(증명해야함)