Eliezer Yudkowsky comments on Godel’s Completeness and Incompleteness Theorems