2016년 8월 6일 (토) 04:11 판 편집 Osteologia (토론 \| 기여) 점검 면제자, 장기인증된 사용자 39,111 편집 →‎역사 ← 이전 편집		2016년 8월 6일 (토) 04:12 판 편집 편집 취소 Osteologia (토론 \| 기여) 점검 면제자, 장기인증된 사용자 39,111 편집 →‎선택 공리로부터 함의되는 명제 다음 편집 →
89번째 줄: * [[베르의 범주 정리]] * [[바나흐-타르스키 역설]] * [[~~르베그 측도\|~~르베그 가측 집합]]이 아닌 실수 집합이 존재한다. 그러나 선택 공리를 의존적 선택 공리(또는 가산 선택 공리)로 약화시킨다면, 이들 가운데 상당수는 증명 불가능하다.

선택 공리: 두 판 사이의 차이