It is not the case that HA cannot prove ∀x¬G(x) because that formula expresses the consistency of HA, and by Gödel's second incompleteness theorem a consistent HA cannot prove its own consistency.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.