Google it? Axiomatic definition, dedekind cuts, cauchy sequences are the 3 typical ones and are provably equivalent.