証明可能なシステムだけが生き残ります。