Nope, this is another case of confusing truth with provability. A doesn’t know B’s proof checker is correct, so I don’t think it can make that inference.
Nope, this is another case of confusing truth with provability. A doesn’t know B’s proof checker is correct, so I don’t think it can make that inference.