Logika ZFC
Julcia: Jaki jest ogolny schemat i zarys dowodu. ( Naprawde bardzo ogolny i raczej slowny bez
znaczkow)
1. z lematu Kuratowskiego–Zorna wynika aksjomat wyboru
2. z lematu Kuratowskiego–Zorna wynika twierdzenie Zermelo
3. z aksjomatu wyboru wynika lemat Kuratowskiego–Zorna
4. z aksjomatu wyboru wynika twierdzenie Zermelo
5. z twierdzenia Zermelo wynika lemat Kuratowskiego–Zorna
6. z twierdzenia Zermelo wynika aksjomat wyboru
7. z zasady maksimum Hausdorffa wynika lemat Kuratowskiego–Zorna
8. z lematu Kuratowskiego–Zorna wynika zasada maksimum Hausdorffa
6 lut 19:13
Julcia: .
6 lut 21:09