The reason your argument works for ZFC is because it interprets PA by proving its axioms as applied to particular sets in ZFC.
Nice! I didn’t realize that. I guess the easiest way is to ask for the same guarantees that Gödel’s theorems use, do you agree? For now, changed the post accordingly :-)
Nice! I didn’t realize that. I guess the easiest way is to ask for the same guarantees that Gödel’s theorems use, do you agree? For now, changed the post accordingly :-)