 Gödel may have meant by “natural completion” here “the correct completion,” or he may have meant to say no more than that the Axiom of Constructibility determines the notion of set in a definite way. In any case he used the term “natural” differently in a conversation with Wang on constructibility in 1972 (Wang 1996, p. 144):