I think because "(next axiom)" is not defined, it will make your language not mappable to integer numbers and you avoid Godel proof.
I think because "(next axiom)" is not defined, it will make your language not mappable to integer numbers and you avoid Godel proof.