It is not the case that Gödel's incompleteness theorems demonstrate that any sufficiently expressive formal system contains truths that cannot be derived within that system.
?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.