"명제 |X| < |Y| => |P(X)| < |P(Y)| 는 ZFC 에 대해 독립이다"
시발
? 뭔
ㅋㅋ이거 첨에 봤을때 아니 이게? 했었지
엥? 이거 폰노이만-괴델 공리계에서도 마찬가지임?
GCH가 저 명제를 함의하다 보니...
미친 처음보네..그러고보니 책에서 안다뤘네 이거 왜 안다루는게 이상하다고 생각못했지 ㅋㅋ
? 뭔
ㅋㅋ이거 첨에 봤을때 아니 이게? 했었지
엥? 이거 폰노이만-괴델 공리계에서도 마찬가지임?
GCH가 저 명제를 함의하다 보니...
미친 처음보네..그러고보니 책에서 안다뤘네 이거 왜 안다루는게 이상하다고 생각못했지 ㅋㅋ