Formalising and Abstracting

It is something I am doing intuitively in all of my life - Denkern. I still look at these realities, the Unknowns and the systems that grew on them, observe them, discern their underlying structural principles: How did they come to be? What is it that makes them what they are?  I differentiate, give names (the rule set beginning) and find the words that would anchor it in this worklihood.
Even something as simple as an insurance contract - to me it has no words, no meaning, no worklihood. It is a great unknown. As long as I am not interested there is no worklihood, no universe existing for me. Until I start dealing with it: With the first question there is this big bang, the first parting, the first differentiation and the more I deal and fiddle with it the more this new universe expands and I get to know it. When my question is answered this universe collapses, leaving an essence, as seed for the next revolution.

Within the framework of OP_n^x formalising is laying down the rules, 4, the giving of form so that the tool can be handled.
Abstraction is the further iteration of the same, in maths that would be akin do devising a new formula set like algebra, which makes available containers for information that as yet have not been created into this worklihood.

Formalising and abstracting, much as it is a useful tool, does pose a certain threat: Look at how our counting progresses: 1 human, 2 human.... person 3, person 4... 5, 6, 7, 8.

In the context of our universe I have not really discovered something new. What I was able to do is take a way of looking at things and form that.
It is this formalizing and abstracting it which turns Denkern into such a formadibly useful tool.