Invarianten hebben we gemodelleerd als elementen van de werkelijkheid die irrelevant zijn voor de transformatie van de structuur van de werkelijkheid. De structuur (een tralie) herkennen we aan de simultaneïteit tussen elementen. Een invariant mag dus op deze structuur geen invloed hebben, op elk moment moeten we de keuzevrijheid bewaren tussen de invariant en de structuur.

Invariantie is disjunctie of conjunctie. Het 1-splitsing universum gebruikt één laatst toegevoegde onderscheiding en dus geen verschil tussen disjunctie en exclusieve disjunctie en dus geen verschil tussen conjunctie en inclusieve conjunctie.

We bewijzen nu dat de vier elementen van de tralie met dezelfde invariant kunnen vermenigvuldigd worden met een matrix vermenigvuldiging en maken hierbij gebruik van de set (ε, νυ).

Als men nu de disjunctie maakt met een invariant dan moet dit ook gelden in deze matrix voorstelling. Merk op dat disjunctie in dit model gedefinieerd is als een som van vier componenten, de disjunctie van ℵ en b is namelijk <<>>⊕<ℵ>⊕<b>⊕<ℵ•b> maar als we veronderstellen ook dat ℵ en b elkaar uitsluiten, dan is de disjunctie ℵb niet anders dan ℵ•b. Dit geldt voor een b die de eigenschappen heeft van een getal. Veel numerieke modellen in de wetenschap onderzoeken welk gedrag (evolutie) van een entiteit (een invariante structuur) met getallen (de intensiteit van een invariante laatst toegevoegde onderscheiding ℵ) kan gemodelleerd worden.

Als we nu b de eigenschappen van een getal toekennen dan kunnen we b<<>> interpreteren als en we merken op dat ℵ•b niet anders is dan b•ℵ in deze interpretatie en dus . We interpreteren b<> dan als en merken op dat <ℵ•b> niet anders is dan <b•ℵ> in deze interpretatie en dus . We zien dus dat elke matrix van de tralie met b vermenigvuldigd wordt, wat de invariantie bewijst.

QED

Dit zal natuurlijk ook gelden voor elke andere keuze van afbeelding op het 1 onderscheiding universum. De set (ε, νυ) is daarenboven isomorf met de complexe getallen wanneer we ε nemen als de eenheid 1 en νυ nemen als de eenheid i (dus √-1).