It is not the case that Gödel's results apply to *specific* unprovable sentences, not all entailed sentences—most logically valid inferences remain provable in standard systems.
?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.