i dont understand example clearly. example taken description logic handbook.
at last line of example, "induction required, hence such reasoning not first order". line took me off guard.
your explanation appreicated.
the quote "induction required, hence such reasoning not first order" implies proof based on induction requires second-order arithmetic. discussion of why inductive form cannot derived first-order axioms can found here , here.
