2012-08-27 ゲーデル法 あるバイオリンニストが、ある国の税関によって、楽器が差し押さえされた。 密輸品とされた。 その国以外ではなんら問題はなかった。これは正義か正義でないか。 決定不能、即ち、証明不能だ。これが国家権力だ。 * ゲーデルの不完全性定理は、証明不能のことはするな。 証明できることだけ行え。これで国家に強制連行されない社会となる。