Well, your argument assumes that ZF is consistent, so it wouldn’t convince someone who only believes in PA.
Sure, the inductor doesn’t know which systems are consistent, but nevertheless it eventually starts believing the proofs given by any system which is consistent.
Well, your argument assumes that ZF is consistent, so it wouldn’t convince someone who only believes in PA.
Sure, the inductor doesn’t know which systems are consistent, but nevertheless it eventually starts believing the proofs given by any system which is consistent.