Suppose, if possible, that log23 is rational.
So we assume, log23=pq
where p and q are positive integers having no factor in common. Then
3=2p/qor3q=2p
which is impossible since 3q is odd and 2p is even. Hence log23 cannot be rational, that is it is irrational.