It is not the case that Any standard proof system such as natural deduction contains infinitely many statements whose simplest proofs are of length at least exponential relative to the size of the statement.
?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.