Kurt Gödel# 51cf8d60ce2e868a5ee58166fb3b1e85