Indeed, and it’s the closest I found to what I was looking for. I have to find it, but about 4+ yrs ago I finally narrowed down what is closest to what I think is the “best approach” to this at least in the conceptualization but now I have to find it.
They’ve invented a way to describe things at this level, yes but now imagine it reformulated so that it is simple enough to use in Kindergarten and forms the basis of how we work all mathematics.
I’ll step in a different direction so that what I want to see is more visible.
A spreadsheet is accurately described as:
“Step-indexed Kripke models over recursive worlds.”
^ Now take the mathematics that functions in the way I’m talking about and make it as easy as using a spreadsheet.