Undecidability results that are not known to have a diagonal argument proof | Heykuki News