48532
In 1938 , Kurt Gödel showed that the " negation " of the axiom of choice is not a theorem of ZF by constructing an inner model ( the constructible universe ) which satisfies ZFC and thus showing that ZFC is consistent if ZF itself is consistent .
 Kurt Gödel
Please list all entity words in the text that fit the category. Output format is "word1, word2". 
Option: media, plant, vehicle, astronomical object, time, disease, animal, location, person, organization, mythical figure, food, biology, geographical phenomenon, instrument, event 
Text: {0} 
Answer:
 Kurt Gödel