deletions | additions       diff --git a/untitled.tex b/untitled.tex  index b4b07c3..b89b0cd 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
Dacă $L$ este mulțimea claselor de echivalență a descrierilor de universuri, atunci $L$ este în bijecție cu $\reale$.  \end{afirmatie}  \begin{argument}  Există un șir infinit de tipuri de entități $E_1, E_2, \dots$ și reguli de interațiune $I_{ij}$, toate distincte (TODO: de definit „distincte” cu ajutorul izomorfismelor pentru că, în interpretarea naivă, reguli care se aplică unor tipuri diferite de obiecte sunt prin definiție distincte), astfel încât pentru orice $k$, $E_k$ interacționează cu mulțimile precedente $E_1, \dots, E_{k-1}$, iar $I_{ij}$ descrie cum interacționează $E_i$ cu $E_j$. Ca o paranteză, aceasta înseamnă că interacțiunile se pot descrie pentru perechi de $E_i$-uri și nu e nevoie să considerăm triplete, de exemplu.  Putem alege aceste $E$-uri și $I$-uri astfel încât sunt independente în sensul independenței unor axiome, adică, de exemplu, nicio interacțiune $I_{ij}$ și nici negata ei nu se pot deduce din cele precedente. (TODO: De asemenea, trebuie ca o submulțime a lor să nu aibă o descriere mai scurtă cu mai puține tipuri).  Atunci orice submulțime de tipuri de entități împreună cu regulile de interacțiune care li se aplică descrie un univers diferit de celelalte și se află într-o clasă de echivalență diferită.  Mulțimea submulțimilor unei mulțimi numărabile este în bijecție cu $\reale$, deci mulțimea claselor de echivalență ale universurilor posibile este în bijecție cu $\reale$.  \end{argument}