relation, ZFC와 파생 동치 정리들, cardinal & ordinal, cantor-bernstein(schröder 일수도 있음), transfinite induction 정도면 충분하지 않을까
문클 1단원으로 충분하지 않을까?
앗 둘다 고마워
Recursion thm
relation, ZFC와 파생 동치 정리들, cardinal & ordinal, cantor-bernstein(schröder 일수도 있음), transfinite induction 정도면 충분하지 않을까
문클 1단원으로 충분하지 않을까?
앗 둘다 고마워
Recursion thm