- 공리,axiom . . . . 3 matches
[[선택공리,choice_axiom]] axiom of choice, AoC
"[[부분순서집합,partially_ordered_set,poset]]이 [[극대원소,maximal_element]]를 가질 필요충분조건을 제시하는 lemma이며, [[선택공리,choice_axiom]]와 동치이다."
9개의 공리 + [[선택공리,choice_axiom]] 해서 10개의 공리로 구성. - OnlineLectures . . . . 1 match
[[선택공리,choice_axiom]] - 역설,paradox . . . . 1 match
증명에 [[선택공리,choice_axiom]] 가정이 필요?