A proves that the logic A uses to prove that B is Reasonable is inconsistent. It is sufficient to say “If I can prove that B is Reasonable, B is Reasonable”.
A proves that the logic A uses to prove that B is Reasonable is inconsistent. It is sufficient to say “If I can prove that B is Reasonable, B is Reasonable”.