essentially undecidable

  1. redirect decidability (logic)#Decidability of a theory

{{Rcatsh|

{{R sec}}

}}