completeness and incompleteness theorems