개념
- Card A ≤ Card B ∨ Card A ≥ Card B 일 때
- T = { (Aα, fα) | Aα ⊆ A, ∃fα : Aα → B 단사 }
- ∀집합 A에 대하여, ∃전단사 f : A → A, f(x) ≠ x
- 모든 집합에 대하여 자신의 집합으로 가면서, 원소와 그 값이 다른 함수가 존재한다.
Suyeong Park
지성을 추구하는 삶
데코수학/ 집합론/ 선택공리로 증명하는 문제들