deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 7f3bb10..eb013a8 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
\begin{definitie} O \textbf{descriere a unui univers posibil} este dată de un număr posibil infinit de propoziții care descriu, pe de o parte, niște entități (de fapt, descriu tipurile entităților, vezi exemplul de mai jos) care alcătuiesc acest univers și, pe de altă parte, descriu regulile prin care aceste (tipuri de) entități interacționează. O \textbf{descriere a unui tip de entitate} trebuie să fie făcută printr-un număr finit de propoziții. De asemenea, \textbf{o descriere a unei reguli de interacțiune} între două entități trebuie să fie făcută printr-un număr finit de propoziții.  \end {definitie}  Spre exemplu, pentru universul nostru două astfel de entități ar putea fi fotonii și electronii.  O astfel de descriere ar porni de la concepte simple, să zicem concepte pe care le poate înțelege un om obișnuit fără facultate, dar ar putea deveni oricât de complexă. Spre exemplu, o astfel de descriere ar putea include o definiție axiomatică a unor ramuri ale matematicii, a mulțimi numerelor reale, etc.   O problemă este că într-un astfel de univers ar putea exista lucruri imposibil de descris. În particular, un creștin crede că așa ceva există, deși e posibil să existe în afara a ceea ce majoritatea oamenilor consideră a fi universul curent. Însă nu cred că aceasta schimbă concluziile finale.  \begin{definitie}  Două tipuri de entități sunt \textbf{conectate} dacă interacționează între ele. Este rezonabil să cer ca oricare două tipuri de entități să fie conectate (direct sau indirect), vezi mai jos o afirmație care spune că probabilitatea de a nu fi conectate este zero.  \end{definitie}  \begin{definitie}  Două descrieri sunt \textbf{echivalente} dacă există un izomorfism bijectiv între universurile uneia și universurile celeilalte.  \end{definitie}  \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}