deletions | additions       diff --git a/untitled.tex b/untitled.tex  index eb013a8..1d77dfa 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
\begin{definitie}  O descriere \textbf{necontradictorie} a unui univers este o descriere din care nu putem deduce o propoziție și negata acestei propoziții (P și non-P).  \end{definitie} \begin{afirmatie}  Toate descrierile contradictorii sunt echivalente cu o descriere ce conține „există a astfel încât a nu este egal cu a”.  \end{afirmatie}  \begin{argument}  Dacă am fals între propozițiile unei descrieri pot deduce orice (falsul implică orice).  TODO: trebuie formulat astfel încât să nu conteze tipurile de entități din cele două descrieri.  \end{argument}  \begin{afirmatie}  Dacă $M$ este mulțimea descrierilor de universuri, atunci $M$ poate fi pusă în bijecție cu mulțimea numerelor reale $\reale$.  \end{afirmatie}