Actually, no. You confuse truth and provability for the second (third?) time. A doesn’t have a proof that B’s proof checker is correct, so it cannot deduce what you just deduced. Please please please, just try to parse any technical material associated with the topic. People have learned to avoid this particular pitfall decades ago. We have tools for that. I am using them heavily here.
Actually, no. You confuse truth and provability for the second (third?) time. A doesn’t have a proof that B’s proof checker is correct, so it cannot deduce what you just deduced. Please please please, just try to parse any technical material associated with the topic. People have learned to avoid this particular pitfall decades ago. We have tools for that. I am using them heavily here.