체르멜로-프렝켈 집합론
체르멜로-프렝켈 집합론 아래, 다음 명제들은 선택 공리를 함의한다.