>>155
証明の仕組みを定義しているのが公理系だよ猿w