>>248
>現在は厳格な成文法を求める動きが広がっており

付け加えるなら
それはゲーデルでいう所の完全性の世界で
野球であるとか（バットを三回振ったらアウトなど）部分的な
極めて小さい宇宙の内部でなら成立可能だが
現実社会であるとかある程度以上の豊かさを持つ宇宙ではまず成立不可能