[deleted] comments on You Provably Can’t Trust Yourself

[[deleted]]

Am I correct in supposing that you can substitute PA for any consistent calculus such as ZF set theory?

What about a Turing-complete system such as SKI calculus?