Re: Godel's comments about the "true reason" for incompleteness

On Mar 11, 7:30 pm, LauLuna <laureanol...@xxxxxxxx> wrote:
Gödel stated that higher types with the corresponding comprehension
axioms render the undecidable sentences decidable (though, of course,
there are also undecidable sentences in the resulting systems).

The part that you have deprecated with "of course" and parentheses
*is precisely* the part you should've *highlighted* instead! THIS IS
the part that the person you are replying to did not understand!


.

Relevant Pages

  • Re: Godels comments about the "true reason" for incompleteness
    ... axioms render the undecidable sentences decidable (though, of course, ... there are also undecidable sentences in the resulting systems). ... But is it the case that, given a base theory T and a proposition p of ... adding higher types and the corresponding comprehension axioms will, ...
    (sci.logic)
  • Re: Godels comments about the "true reason" for incompleteness
    ... axioms render the undecidable sentences decidable (though, of course, ... there are also undecidable sentences in the resulting systems). ... But is it then the case that given a base theory T, ... comprehension axioms will, iterated for a sufficient length of time, ...
    (sci.logic)