Het haakformalisme toont dat elk model zijn typische uitdrukkingskracht heeft en dat het enige axioma kan aanleiding geven tot een lijst van modellen die geschikt zijn binnen verschillende vooronderstellingen. Alle modellen zijn met behulp van het ene axioma te beschrijven, ze gaan daarenboven uit van bijkomende veronderstellingen die heel helder kunnen aangegeven worden en, gegeven deze veronderstellingen, zijn ze compatibel met elkaar. Het enige axioma is het meest abstracte model en alle andere modellen zijn een specificering, interpretatie of beperking van dit model.

Hierbij een alfabetisch gesorteerde lijst van de ontwikkelde modellen:

Model naam

Vooronderstellingen

1-Splitsing

De eerste van een nieuwe soort modellen in ongekende universa

2-Splitsing

Het centraal model van splitsingen

3-Splitsing

Een splitsing model dat een nieuw zicht biedt op octonionen

Axioma

Er is maar één axioma

Axioma's voor formele notaties

Symbolen die naast elkaar genoteerd kunnen worden

Binair

Kies een welbepaald onderscheidingen universum, introductie van modulo 2

Creatief product patroon

Een patroon voor elk punt in een universum en de introductie van gelijk welk nieuw standpunt

Geometrie en ruimte

Idempotentie als projector

Getal

Symbolen die dezelfde waarde hebben, waarde die niet gekend is, introductie van modulo 4

Golven

De intensiteit van de zekerheid van herkenbare sporen

Guillemet model

Strings in ongekende universa

Infinitesimaal

Getal en onderscheiding

Inwendig en uitwendig product

Tweedimensionale getallen en matrices

Matrix

Laatst toegevoegde onderscheiding, ordening

Meervoud bits

Uitbreiding van de binaire voorstelling

Patroon vorm

Bruikbaar voor atomen en atoomburen

Priemgetallen

Introductie van modulo 8

Quaternionen

Vierdimensionale getallen en matrices

Standaard taal

Een precieze uitdrukking van kernbegrippen waarbij begrippen zonder a priori geëxpliciteerd worden en waarbij nieuwe woorden (die in de standaard taal niet bestaan, zoals “gebeurbaar”) moeten geconstrueerd worden waarvoor een grote vertrouwdheid met (moeder)taal vereist is

Stappenmodel

Evolutie van een bitstring (en dus kennis) in een ongekend universum

Tensor

Geneste splitsingen

Tweedimensionaal getal

Imaginaire of perplexe dimensie

Vector

Notering van een derde element: de nul en dus introductie van een som operatie die waarden opheft, introductie van modulo 3

Veelterm

Getallen en projectoren

Veeltermen in een variabele

Getallen en de niet commutativiteit van een product