Is the uncertainty principle axiomatic or derived? To take an example,

Feynman Lectures Vol 3 13-1
Let's think of an electron which ban be in either one of two positions [...] There are two possible states of definite energy for the electron.  Each state can be described by the amplitude for the electron to be in each of the two basic positions.  In either of the definite-energy states, the magnitudes of these two amplitudes are constant in time, and the phases vary in time with the same frequency.  On the other hand, if we start the electron in one position, it will later have moved to the other, and still later will swing back to the first position.

(Feynman derives this behaviour from first principles in chapter 8-6 by solving equations for the state of an ammonia molecule, but that's a nice summary).
This sounds like the uncertainty principle - that you can know energy or position but not both.  Is it possible to derive the uncertainty principle from such an analysis?  Or is the uncertainty principle somehow axiomatic in the way this behaviour is derived?
 A: There are several mathematical proofs for the Uncertainty Principle, although it is also based out of intuition. A good, fundamental proof of the mathematical sort is found here: http://www.tjhsst.edu/~2011akessler/notes/hup.pdf. 
A: The Uncertainty Principle (UP) is not only a quantum mechanics property. There's a way to describe UP in an empirical approach (the famous Heisenberg microscope) but, from a mathematical (and historical) point of view, UP is intrinsically connected to Fourier transform (FT) properties. In fact if you assume that you have a gaussian wave packet in real space (at fix time) and you transform it; in the conjugate space you obtain a function with a gaussian profile (in absolute value). Now if you take the width in real space times the width in the conjugate one, you obtain exactly the equality 1/2. In the end recall the relation between momentum and wave number you have the UP equality (that's a lower limit of UP: gaussian functions minimize UP). There's a quantum approach in Dirac notation completely different. Nevertheless I stress the importance of the fact that it's not a merely quantum property but it's a mathematical consequence of FT, and obviously FT is present in quantum mechanics. I don't want to discuss if it's a nature property, I only say that if you use FT (and wave mechanics in general) you meet this situation.
A: You may be confusing two things here. The uncertainty principle, which states that for any two observables $A$ and $B$
$$
    \sigma_{A}\sigma_{B} \geq \frac{1}{2}\left|\langle[\hat{A},\hat{B}]\rangle \right| \, ,
$$
can be derived (see, for example, Proof of the Schrödinger uncertainty relation in Wikipedia). Canonical commutation relation $[x,p_x] = i \hbar$, which using the uncertainty principle leads to
$$
    \sigma_{x}\sigma_{p_x} \geq \frac{\hbar}{2} \, , 
$$
is, however, postulated.

And for me, as I already said in the comment, it does not sound like this section is related to the uncertainty principle. The propagation of an electron through a crystal is viewed as the time evolution from a state "the electron is at atom number n" to another state "the electron is at atom number n+1" and so on.
Yes, you have degeneracy in the system, which is defined as follows

an electron which can be in either one of two positions, in each of
  which it is in the same kind of environment

The energy in the state "the electron in the first position" is identical to energy in the state "the electron in the second position" (states are said to be degenerate in such case), but it is something to be expected due to the presence of symmetry in the system (explicitly mentioned in the definition of the system).
The fact that the knowledge of the energy of an electron in such system tells you nothing about its position is due to degeneracy: energy lonely does uniquely specify (or, does not fix, as we say) the state of such system.
So you are uncertain about the position of the electron because you are uncertain about its state.
The uncertainty principle, on the other hand, says that even when you know the state of a system (not just its energy), you can not specify both position and momentum of the electron with any desired precision.
There is a fundamental limit to the precision with which position and momentum can be known simultaneously.
A: Although the Uncertainty Principle can be derived from other aspects of quantum mechanics, it is still regarded as a principle, rather than as a result or a relation, because it is an empirical principle of quantum mechanics. 
There is a complete discussion in the Stanford Encyclopedia of Philopsophy.
A: I don't have my copy of Griffith's Introduction to Quantum Mechanics with me, but I clearly remember reading this somewhere in that book:
There are two ways to approach the Uncertainty Principle. The first way is to treat it as an axiom. The other way is to take the non-commutivity of position & momentum as an axiom, and derive the Uncertainty Principle. If one takes the first option, then one can derive the non-commutivity of position & momentum instead.
So - it's up to you to decide what you want to take as an axiom and what you want to take as a derived relation.
