4
$\begingroup$

I know that there are statements that are neither provable nor disprovable within some set of axioms, and I also know that such statements are called undecidable. Please allow me to call these statements to be undecidable to the first order, or belong to $U_1$.

I was wondering if there is some kind of generalization of this concept. Are there any conjectures/statements of which we can prove that we cannot prove whether it is decidable or not? Such a statement would be undecidable to the second order, or belong to $U_2$. Generalizing even further:

What about statements that are in $U_\infty$ ?

  • 1
    I don't think this question is about higher-order logic in the usual sense. The OP unfortunately uses the word "order" in the context "undecidable to second order" to mean something quite different from its meaning in "second-order logic".2012-11-10

0 Answers 0