  In this paper, the set of all physical theories is represented by a countable
collection of consequence operators. It is established that in the Grundlegend
Structure, a nonstandard structure, there exists a function S such that for any
subset W of L, S selects an ultralogic C such that C(*W) restrictred to L is a
unification for the set of all physical theories as they are applied to W.
