 We now present an axiomatic theory which has the \(\kappa\)-hyperuniverses with \(\kappa \gt \omega\) as (some of its) models. This is a first-order theory with equality and membership as primitive relations. This system is called GPK\(^{+}_{\infty}\) and is described in Esser 1999.