[erichahn]

"it does not rely on any particular axiomatisation"

-- OK, what does it rely on then?

[carnitine]

The axioms allowing one to express enough of arithmetic for Goedel’s methods to apply. As the comment says.