I.K0 — Universe Postulate

Postulates the existence of the totality tau as a universe of discourse. Implicit in Lean type system (Generator : Type, TauObj : Type). Distinguishes tau (ambient type) from omega (fixed-point element within tau).