The incompleteness results follow from self-reference and diagonalization, mechanisms logically inde...