1st: Any consistent recursively axiomatizable T containing PA is incomplete. 2nd: T cannot prove its own consistency. Diagonal lemma.
1st: Any consistent recursively axiomatizable T containing PA is incomplete. 2nd: T cannot prove its own consistency. Diagonal lemma.