alt Hacker News> Moreover, Robinson arithmetic can be interpreted in general set theory, a small fragment of ZFC.
https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_t...
> Moreover, Robinson arithmetic can be interpreted in general set theory, a small fragment of ZFC.
https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_t...
> interpreted
its hard to me to tell what this means formally(as I said I am not expert). There is no "interpret" operator in zfc. I believe what it says if you add some robinson axioms + some logical rules on top of zfc, you can carry your results.