>>11
一意性と背反性の言ってることが同じやから冗長ってこと