Második mondat helyesen:

"Nem akad meg a folyamat ott, hogy a halmazból esetleg definiálhatatlan a ZFC-axiómák halmaza,  mert az axiómák rekurzív halmazt alkotnak: egy rekurzív Gödel-számhalmaz rekurzív részhalmazát."