(i) Write down a set of axioms for the theory of dense linear order with a bottom element but no top element.

(ii) Prove that this theory has, up to isomorphism, precisely one countable model.