It is not the case that A demonstration that φ is not in n-PROVABILITY_T for sufficiently large n and sufficiently powerful T shows that no comprehensible proof of φ exists, even if a proof exists in principle.
?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.