deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 74591d8..745fb21 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
\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}