It is not the case that Hilbert's formalist program implicitly concedes that undecidable statements require new axioms or methods before they can be treated as genuine mathematical claims.
?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.