It is not the case that If the proposition expressed by a formula were constituted entirely by its role within a formal system, no proposition could be true yet unprovable within that system—contradicting Gödel's result.
?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.