13 Sep
2023
13 Sep
'23
9:29 p.m.
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_... )