the checker would be able to prove any sentence
I think you mean that there would be some proof (that checks) for any sentence.
Yes. Thanks.
I think you mean that there would be some proof (that checks) for any sentence.
Yes. Thanks.