> so I really don't like describing logically independent sentences as "true but unprovable":
I don't see a particular problem with it. It can be "true but unprovable" within a given system. I feel like you may be arguing semantics, but the sentence is still clear and accurate to me, while your lay audience definition is less clear and steps further away from the theorems than necessary
I don't see a particular problem with it. It can be "true but unprovable" within a given system. I feel like you may be arguing semantics, but the sentence is still clear and accurate to me, while your lay audience definition is less clear and steps further away from the theorems than necessary