Among his many interests, Kurt Gödel wrote a privately circulated formal proof for the existence of God using modal logic. But it was an earlier work from 1931 that upended mathematics and logic and which still applies today. Here's Tibo to explain.