Undecidability Exercise

 

Is the set consisting of the single wff (x)(∃y)Txy consistent? Is this question decidable? Explain.

 

table of contents   List of Exercises