yzhk - incompleteness theorem