rational number well ordering principle. thanks.
Sure, but assuming $\displaystyle e$ is irrational is assuming much more than assuming $\displaystyle \sqrt 2$ is. Moreover, while I'm sure $\displaystyle \ln 2$ is irrational, I wouldn't know how to prove it. (Though I can show $\displaystyle e$ is irrational!)