Another Simple Proof or Fun with Eidetic Arithmetic


Definition 3:*  #UPMCrecycles is a model of Justice, J = <D, I>, where D = every well-formed formula
Referenced by the three following well-formed root formulae, as well as every well-formed formula Referenced by any member of D, and I is the interpretation function which is given by the members of D:


Theorem 2:  J is a submodel of T, or J T.

Proof:  By inspection of Definitions 1 and 3, we can see that each of the root formulae of J are also root formulae of TSince our property R is transitive, it follows that each member of J is also a member of T, or J T.

Q.E.D.