Why would all bitcoins be lost? Even if only one bitcoin left, you can divide it in billions of pieces. And when you've lost every piece but one, you can further divide it. It won't be lost forever, not until our universe will die, and long before that we probably will be able to break SHA-1 and mine lost bitcoins back.