Of course there is no unambiguously 'right' choice between two or more definitions that give the same answer, but I think that it is more common to switch your (1) and (2), and define ln(x) as \int_1^x dx/x.