法律体系を一種の公理系と考えると
一定のモデルの内部で矛盾なく構成することは理論的には可能だろう。

ただしそのモデル自体の構成には多大な困難が予想される。
現在の法の問題などをモデルの構成の困難さの問題に
置き換えるだけの事になるような気がする。