hi,

i have to find a mathematical model of the following sentence, but i am stuck.

$\displaystyle

(\forall x \exists y x<y) \wedge (\forall x \neg (x<x)) \wedge (\forall x \forall y \forall z (x<y \wedge y<z) \rightarrow x < z)

$

thanks for any help and advice.