We consider the problem whether the for all Sigma(h)(1), theorems of the fragments T-2(n) form a strictly increasing hierarchy. We shall show a link to some results about the lengths of proofs in predicate logic that supports the conjecture that the hierarchy is strictly increasing.
展开▼