I have proved part of the following statement and I would like to have an hint about how I could finish up my proof, thanks.
"Prove that if $A\subset\mathbb{R}$ is Lebesgue measurable and $t\in\mathbb{R}$, then $t+A$ is Lebesgue measurable"
What I have done:
If $A$ is a Borel set then $t+A$ is also a Borel set and $|(t+A)\setminus (t+A)|=|\emptyset|=0$ so $t+A$ is Lebesgue measurable too, by definition.
In the following we suppose that $A$ is not a Borel set.
We first consider the case $|A|<\infty$: then by definition of Lebesgue measurable set there exists a Borel set $B\subset A$ such that $|A\setminus B|=0$. Now let $t\in\mathbb{R}$: then $t+B$ is a Borel set, $t+B\subset t+A$ and $|t+B|=|B|\leq |A|<\infty$ (outer measure is translation invariant) so $|(t+A)\setminus (t+B)|=|t+A|-|t+B|=|A|-|B|=|A\setminus B|=0$ so $t+A$ is Lebesgue measurable too.
The problematic part
I tried to prove the case $|A|=\infty$ in two ways: by showing that $\bigcup_{k=1}^{\infty}(t+A_k)=\bigcup_{k=1}^{\infty}(t+A\cap[-k,k])$ is such that $|A\setminus \bigcup_{k=1}^{\infty}(t+A_k)|=0$ but then I realized that $A_k$ is not necessarily Borel so this fails and then I also tried by contradiction, by assuming that $|(t+A)\setminus (t+B)|>0$ (where $B\subset A$ is the Borel set such that $|A\setminus B|=0$) and from this I got that there must be an uncountable number of elements in $|A\setminus B|$ but then I realized that this doesn't necessarily mean that $|A\setminus B|>0$ as there exist uncountable sets which have Lebesgue measure $0$ (e.g the Cantor set) so I am stuck.
DEF. (Lebesgue measurable set): A set $A\subset\mathbb{R}$ is called Lebesgue measurable if there exists a Borel set $B\subset A$ such that $|A\setminus B|= 0$