>>557
矛盾する系だとできる
無矛盾な系だと矛盾も無矛盾も出せない