deletions | additions       diff --git a/untitled.tex b/untitled.tex  index feb1378..3d5a0ad 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
Fie $B_t$ mulțimea tuturor elementelor finite ale lui $A_t$. Atunci $B_t$ este numărabilă, deci, ca mai sus, probabilitatea lui $B_t$ este zero.  Fie $t_1, t_2, \dots$ tipurile din $T$. Fie $Fin(t)$ = „$t$ este legat direct de un număr finit de noduri”. Ne interesează  Ca urmare, probabilitatea ca într-un univers să existe un tip conectat cu un număr finit de alte tipuri este zero.  \end{argument} 
...