The bitcoin private key is a 256 bit number that contains a numerical address and a key to decrypt numerical messages sent to that address.
No, it's just a 256 bit number. It doesn't "decrypt" anything. However, it's used to sign messages proving a relationship to a particular public key.
The number of key is quite high.
Yes.
The security of the bitcoin system seems to be based on the difficulty of using a public address to work backwords and find the private key.
Yes, that's the part of security which protects user accounts (private keys). It's based on elliptic curve cryptography. The other large part of Bitcoin security is secure hashing algorithms used by miners to provide arbitration for the blockchain.
In order to show that the current bitcoin key system is flawed, all that a person would need to do is show that there was a correlation between the relative position of a private key and the relative position of its corresponding public address.
Nobody needs to show that. It's already known. That's why it's possible to verify a private key without knowing it.
In other words, if you took the lowest possible private key, a 256 bit number starting with 00000... etc, and the highest possible private key, a 256 bit number starting with 11111... etc, and you were able to show that the two public addresses for those keys formed hard boundaries, i.e., that all bitcoin public addresses fell between those two numbers in some mathematical formula or progression, then you would be showing that an accessible formula existed to work backwords from the public adrress to the private key.
The part where you go off the track is when you say "accessible formula". The elliptic curve used by Bitcoin is Secp256k1. Its points on a graph would appear randomly scattered and the number of points is between 2^255 and 2^256 or about one point for every eight atoms in the universe. If you think you have or can find an accessible formula to compute these points backward from a public key, then yes you could cause problems with the current version of Bitcoin.
The obvious question then, does some formula or progression exist that could put bitcoin addresses in sequence?
Yes, counting up by one for instance. The problem is there are so many possible addresses it would take you (or a computer) an unbelievable amount of time just to count upward and hit one.
Any set of numbers that are derived from another set of numbers ultimately can be ordered in the same sequence as the original set.
Can be ordered or must be ordered?
Therefore it seems that the "security" of the cryptography used in bitcoin would come not from the size of the number set but rather from the computational difficulty of converting private key to public address or vice versa.
The security comes from both the size of the number set and the difficulty in calculating the private key from only a public key.
Since in bitcoin the conversion in one direction, i.e., private key to public address, requires little effort, there is really no security once a formula or progression rule for addresses is discovered.
This presumes such a formula could be discovered.
And such a fomula or progression is easily findable by anyone with a little skill in that kind of thing.
Let's see it then.