Formalizing "Every Italian likes to eat pizza"

Question

Every Italian likes to eat pizza.

In predicate logic, are these formalizations syntactically and semantically correct?

1. $$\forall x \forall y(\text{Italian}(x) \land \text{Pizza}(y) \implies \text{LikeToEat}(x,y))$$ ($∀x∀y \text{ Italian}(x)∧\text{Pizza}(y)⟹\text{LikeToEat}(x,y)$ should also be correct.)
2. $$\forall x: (\text{Italian}(x) \implies \text{LikeToEatPizza}(x))$$ (Is the colon's placement syntactically correct?)
3. $$\forall \text{italian} \in \text{Italian}: \text{LikeToEatPizza}(\text{italian})$$
4. $$\forall i( L(\text{pizza}))$$
5. $$\forall i: \text{EatingPizza}(x)$$
6. $$ \forall x: L(x) $$ ($x:$ Italian ; $L:$ likes to eat pizza)