corrected incompleteness proof + minor edits