It is not the case that A proof system that builds in the resources needed to derive a principle cannot serve as independent evidence that the principle is 'easily provable' in any epistemically meaningful sense.
?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.