deletions | additions       diff --git a/untitled.tex b/untitled.tex  index c638818..0a64e43 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”. Atunci  $$P(Fin(t_1) sau \vee  Fin(t_2) sau \vee  Fin(t_3) sau \vee  \dots) \le P(Fin(t_1)) + P(Fin(t_2)) + \dots = P(B_{t_1}) + P(B_{t_2}) + \dots = 0$$ Ca urmare, probabilitatea ca într-un univers să existe un tip conectat cu un număr finit de alte tipuri este zero. 
...