수학 게시판 첫 글은 well-ordering principle

임의의 자연수 집합은 순서에 따른 정렬을 가진다. ZF 공리계에서 axiom of choice와 동치이기도 함.