Any standard proof system such as natural deduction contains infinitely many statements whose simple...