ZFC가 L(연속체 가설)이랑 독립인 거 보이는 방법이

[익명(110.11)]

크게 보면, 

ZFC+L을 만족하는 모델의 존재성을 증명하고,

ZFC+ ~L 을 만족하는 모델의 존재성을 증명하는 게 맞나요?

[TonyMontana(thecoqproofassistant)]