>>161
いいえ、違いますよ?

証明の仕組みを提供しているのは、推論規則です