Kurt Gödel# 7a1e0203eeb5feae1d81ea36fb607118