从托洛茨基到哥德尔