Định lý tăng tốc của Gödel