Eigel is asking a specific (purely mathematical!) question about “logical induction”, which is defined in the paper they linked to. Your comment seems to miss the question.
Eigel is asking a specific (purely mathematical!) question about “logical induction”, which is defined in the paper they linked to. Your comment seems to miss the question.