4 ms·Undecidability results that are not known to have a diagonal argument proof4 points by abdullahkhalids 3y ago