Jo kis tema az univerzum fogalma :-)

Adott rendszerekre jo amit irsz.
Am, ha egy igazi univerzumot akarsz (eleg csak matematikai univerzumot), az mar nem fog letezni globalisan.
Strukturalisan szemleltetnem, a semmibol is lehet vegtelen univerzumot alkotni:
legyen O az ureshalmaz. {x eleme O ha x == x}
{O} mar egy masik halmaz. {x eleme {O}-nak, ha x=O} jol lathato, ez egy elemu
{O,{O}} mar ket elemu
{O,{O},{O,{O}}} harom elemu
es igy tovabb egeszen a megszamlalhato vegtelenig.

Az igazi univerzummal az a baj, hogy tartalmaznia kell onmagat, azaz U valodi resze U-nak, ami keptelenseg.