>>715
普通に論理学でも使えるし、数学以外の近代科学で使われている証明方法
もちろんこういう規約や法律でも論理的な文章だと使われる一般的な方法だよ