ゲーデル法

あるバイオリンニストが、ある国の税関によって、楽器が差し押さえされた。
密輸品とされた。
その国以外ではなんら問題はなかった。

これは正義か正義でないか。
決定不能、即ち、証明不能だ。

これが国家権力だ。

          *
ゲーデル不完全性定理は、証明不能のことはするな。
証明できることだけ行え。

これで国家に強制連行されない社会となる。