https://arxiv.org/pdf/2009.00315.pdf maybe if i learn what all the symbols mean i could work through it diagonal lemma seems relevant too ( there is controversy around this at https://proofwiki.org/wiki/Set_of_G%C3%B6del_Numbers_of_Arithmetic_Theorems_Not_Definable_in_Arithmetic )