It is not the case that HA cannot prove ∃yG(y) because that would assert HA proves (0=1), contradicting the consistency assumption together with the fact that HA proves all true quantifier-free sentences.
?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.