위키피디아에 쳐보니까 Every non-empty set of positive integers contains a least element 라고 나오더라


근데 이거 정렬성의 원리를 명확하게 서술하는 정의는 아니지 않음?


왜냐하면 일단 positive integer 부터 non-negative integer로 바꿔도 될 것 같고, 유한한 실수의 부분집합에 대해서도 성립하니까...


정렬성의 원리가 갖는 모든 경우를 포함하는 정의는 아닌 것 같음...


원래 정의 같은게 그 함의를 명확하게 설명하지 못하는 경우도 많다고 보면 되나??


그냥 책 읽을 때 그 의미만 파악하고 넘어가면 되는거임?


내가 CS 공부하는 사람이라 mathematical mind가 좀 부족하긴 함...