deletions | additions       diff --git a/untitled.tex b/untitled.tex  index a57750c..102949d 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
$F$ este cel mult numărabilă.  \end{afirmatie}  \begin{argument}  Mulțimea submulțimilor finite ale unei literelor unui limbaj este finită. Mulțimea secvențelor de litere de lungime cel mult $k$ este finită. Mulțimea secvențelor de litere de lungime finită este reuniunea după $k$ a mulțimilor de secvențe de lugime cel mult $k$, deci este numărabilă. Mulțimea cuvintelor este o submulțime a acesteia, deci este cel mult numărabilă.   Mulțimea secvențelor de cuvinte de lungime cel mult $k$ este cel mult numărabilă. Mulțimea secvențelor de cuvinte de lungime finită este o reuniune de  mulțimi numărabile cel mult numărabilă, deci este numărabilă. O descriere finită este o secvență de lugime finită de cuvinte, deci mulțimea descrierilor finite este cel mult numărabilă. Mulțimea descrierilor necontradictorii finite este o submulțime a acesteia, deci  este cel mult  numărabilă. \end{argument}  \begin{afirmatie} 
...