Hacker News Reader

"it does not rely on any particular axiomatisation"

-- OK, what does it rely on then?

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