Hmm... Not sure what your question is, but they are not contradictory. I'll try to spit out gibberish, in the hopes you have some sort of idea.
In a way it depends on what starting definition of log are you using, because one implies the other.
Say you start with "k=log_10(x) is the solution in 10^k=x" as your starting point, i.e. your second description of log.
What does inverse function mean? It means we are trying to find some function, let's call it L(x), such that 10^{L(x)} = x. By our starting definition, this L(x) could only be log_10(x) (since inverses are unique).
The other way, well... I'm lazy...