Undecidability results that are not known to have a diagonal argument proofmathoverflow.net4 pointsabdullahkhalids3 years ago