>>17
ウン、その通りだね。

>>18
無矛盾であるかどうかは証明しなければいけないのでは?