Te bewijzen

<> als unaire relatie, als "het inbedden", is een involutie

Bewijs

Neem een willekeurige a en neem zijn afbeelding in het inbedden: <a>

Voer het inbedden terug uit op de afbeelding: <<a>> en reduceer met stelling 6

Resultaat: a

QED

Gevolg

Het inbedden maakt het mogelijk dat het haakformalisme een holistisch formalisme kan genoemd worden. De involutie van gelijk welke onderscheiding p kan werkelijk gelijk wat zijn, behalve p. Het is helemaal niet nodig om op voorhand een verzameling vast te leggen van waaruit men moet redeneren.

Als we het begrip “universum” gebruiken dan drukken we hiermee dit holisme uit.