数学とか論理学では地震の完全性を絶対に証明できない
みたいな話だった気もする