It is not the case that Extensionally equivalent predicates can differ in syntactic structure, enabling different Gödel sentences with divergent provability statuses.
?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.