使う側からすれば無矛盾かどうかなんてどうでもよくて、命題が使える形で用意されてることが重要