Crusade on the use of "provable", not too sure about these changes.

I checked to see how we use "logical" terminology and removed some
ocurrences of "provable". Perhaps I was too eager, but I think in
general we should strive for "non-logical" language. Please have
a look and let me know if anything should be reverted.