>>162
推論規則を生み出すものが公理系だよ猿w