"번슈타인 정리 때문에 부등호로 쓸 수 있는건데 무슨 소리하는거임"

이 말이 그러니까.. 번슈타인 정리가 증명되었기 때문에 두 기수 a,b의 대소를 a<b 이런 식으로 부등호로 나타낼 수 있다는거임? 난 처음엔 이 말을 하는건가 싶어서 댓글을 저렇게 달았는데 반응으로 봐서 이런 의도는 아닌 것 같고...



아니면 부등호가 순서로서 의미를 갖기 위해서 <가 순서관계의 조건들을 만족시켜야 하는데 번슈타인 정리로 antisymmetric인게 증명되었으니 이전에 다른 두 조건을 증명했다면 이제 순서로 사용할 수 있다 이거임?



아니 근데 적고보니 두번째같은데 쓴게 아까워서 그냥 올려야겠다..