数学は公理系から始まる
当然推論規則も公理系から演繹される
当たり前のこと
何猿が俺様ルール勝手に決めてんの?
ww