By your standards of assuming that bad parties will follow protocols, Bitcoin could just say "please, don't double spend" in the spec.
But it's not what happens. Bitcoin is designed carefully to make double spending effectively impossible (or, at least, so expensive that it would never be worth it).