All smooth projective surfaces can be embedded in $\mathbb{P}^5$ using a (linear) projection. This is a classical theorem in algebraic geometry. In general, it is known that any smooth projective variety of dimension $n$ can be embedded into $\mathbb{P}^{2n+1}$.

The proof runs as follows: The secant variety $Sec(X)$ (the closure of points on secants on $X$) and the tangent variety $Tan(X)$ (the closure of the union of tangent spaces) both have dimension $\le 2n+1$, so if $X$ lies in a big projective space $\mathbb{P}^N$, successive projections from points outside $Sec(X)\cup Tan(X)$, gives you a morphism $\mathbb{P}^{2n+1}$ which is injective, finite, unramified hence a closed embedding.

This result makes surfaces in $\mathbb{P}^4$ an interesting study. A remarkable theorem of Ellingsrud-Peskine says that surfaces in $\mathbb{P}^4$ are very special: those not of general type belong to finitely many families, hence one has some hope of classifying them all. For example, Hartshorne conjectured that the degree of rational surfaces in $\mathbb{P}^4$ is bounded (it is now belived that this bound is equal to 12).

There are however non-projective surfaces, which cannot be embedded in any projective space, see e.g., this question.