update undecidable theorems