5 ms·
"it does not rely on any particular axiomatisation" -- OK, what does it rely on then?
by erichahn 5y ago
"it does not rely on any particular axiomatisation"
-- OK, what does it rely on then?
- carnitine 5y agoThe axioms allowing one to express enough of arithmetic for Goedel’s methods to apply. As the comment says.