1. ~(∞R)2. ∀x(T(x) → (∃y(T(y) ...

2. ∀x(T(x) → (∃y(T(y) ∧ D(x,y))) ∧ AT(x))

4. ∀x (RR(x) → ∃y(AT(y) ∧ D(y,x)))

5. ~(∃p,q (AT(p) ∧ T(q) ∧ CC(q,p)))

6. ∀x ((RR(x) → ∃y(AT(y) ∧ D(y,x))) → ¬BR(AT))

7. ∀x(E(x) → (E(x) ↔ O(x)))

9. ∀x(T(x) → (∃y(T(y) ∧ D(x,y))) ∧ AT(x)) → ∀x(RR(x) → CB(AT, x))

11. BR(AT) ∧ ~(∞R) ↔ (¬L(AT) → ∃x(L(x) ∧ D(AT,x)))

12. ∀x((L(x) ∧ E(x)) → ¬L(AT))

R es una regresión en las relaciones de dependencia.

D es una relación de dependencia.

AT es una verdad absoluta (o independiente).

BR es pertenece al conjunto de entidades que son reales.

O es actuando preservándose o cambiando una entidad.

C es entidades que cambian.

CB es cambiado por.

Lo que en lenguaje natural equivaldría a:

1. No es el caso que haya un regreso infinito en las relaciones de dependencia.

2. Para toda entidad x, si x es verdadero, entonces existe un y tal que y es verdadero y hay una relación de dependencia de x a y, y x es una verdad absoluta.

3. Para toda entidad x, si x es real, entonces x es verdadero.

4. Para toda entidad x, si x es real, entonces existe un y tal que y es una verdad absoluta y hay una relación de dependencia de y a x.

5. No es el caso que existan entidades p y q tal que p sea una verdad absoluta, q sea verdadero y q cause a p.

6. Para toda entidad x, si x es real y existe un y tal que y es una verdad absoluta y hay una relación de dependencia de y a x, entonces x no es un miembro del conjunto de entidades que son reales.

7. Para toda entidad x, si x existe, entonces x existe si y sólo si actúa preservándose a sí misma o cambiando una entidad.

8. Para toda entidad x e y, si hay una relación de dependencia de x a y, entonces y es cambiada por x.

9. Para cada entidad x, si x es verdadero, entonces existe una entidad y que es verdadera y hay una relación de dependencia de x a y, y x es una verdad absoluta, entonces para cada entidad x que es real, x es cambiado por una verdad absoluta.

10. No es el caso que una verdad absoluta pertenezca al conjunto de entidades que son reales y una verdad absoluta sea cambiada por una entidad.

11. Una verdad absoluta es miembro del conjunto de entidades que son reales y no hay una regresión infinita en las relaciones de dependencia si y sólo si una verdad absoluta no está limitada y existe una entidad x tal que x está limitada y hay una relación de dependencia de una verdad absoluta a x.

12. Para cada entidad x, si x está limitada y existe, y x es una entidad que se preserva a sí misma o cambia a otra entidad, entonces una verdad absoluta no está limitada.