He did this by inventing the method of outer models and showing that CH failed in a generic extension VB of V. The combined results of Gödel and Cohen thus demonstrate that assuming the consistency of ZFC, it is in principle impossible to settle either CH or GCH in ZFC. 