Kurt Gödel# 4d795656360ac75074db89847662a92f