From Trotsky to Gödel