Gödels Unvollständigkeitssatz – oft von raunenden Philosophen zitiert – jeder hat davon gehört, nicht jeder kennt den genauen Inhalt.