deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 1d77dfa..74591d8 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
\begin{afirmatie}  Dacă $M$ este mulțimea descrierilor de universuri, atunci $M$ poate fi pusă în bijecție cu mulțimea numerelor reale $\reale$.  \proof  Fie $A$ mulțimea posibilelor propoziții despre un univers. A este numărabilă. M este mulțimea submulțimilor lui A, deci M este de același cardinal cu R.  \end{afirmatie}