Godel

[计] 哥德尔; [人名] 戈德尔