Re: Confusion about gödels proof for con(ZF+CH)

It's not a difficult exercise to show you can derive each from the
other.

Thanks, but I'm interested in what Gödel did? How did he use the
assumption that "ZF is consistent". I first thought that he used it
to claim the existence of some model and then constructed L as a
restriction of this model. But I might be wrong here?
.