>>159
> 推論規則はどの公理を用いるかなんて関係ないのですから
間違い。