"These were, of course, the inaugural examples of forcing, soon to become a remarkably general and flexible method with strong intuitive underpinnings for extending models of set theory. 86 If Gsodel..." . . . .