It is not the case that Proof identity in the correspondence presupposes that syntactically distinct proofs of the same formula are genuinely different, but proof-irrelevance principles in some type theories collapse this distinction.
?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.