1. All assumptions are variables, as they represent general statements.
2. A cat is a variable, as it is composed of other types of cats. So is a tree. So is the word "word".
3. If I assume an experience I assume a generalized state of things (sensations, emotions, thoughts) that are composed of particulars that are not being observed. For example the experience of touching a table does not take into account how it was formed, the actual atomic movements or its place in the future...these assumptions are strictly images produced based upon the connection of prior experiences which are assumed.
4. All logical symbols, as such, act as variables. They are composed of other symbols and compose other symbols. They are generalities of transition, with each symbol as fundamentally empty being transitory to another symbol.
5. Each variable as a generality, is a particular which composes another generalized state, thus each variable is strictly empty in and of itself as a context. This necessitates it as a function of transition to another variable, thus all variables are inversive by nature.
For example, +1 is a generality. However it is a particular which composes +1+1=2, +1+2=3, +2+3=+5...etc. Thus it is a transitive state in itself considering it is always inverting from one state to another. +1 is always transitioning into more complex variations of itself, thus is continually inversive from one state to another.
6. Each variable as a particular, is a generality which exists in multiple states and is repeated, thus each variable is strictly is an inherent middle as underlying context of another context. This necessitates is as a form of transition to another variable, thus all variables are recursive by nature.
For example, +1 as a particular is a generality as it is composed of +10 - 9, +10.1 - 9,...etc. It is composed of an infinite number of particulars and as such is an underlying form of many transitive states. +1 is always present as an underlying form of continuity as a general state due to its repetition.
7. All assumptions as both form and functions are inherently variables that necessitate an underlying order that manifests spontaneously and as random through a continual variation of the same thing. Logic is spontaneous as it is grounded in assumptions.
Statements such as A=A or 1+1=2 are fundamentally random, but are ordered as self referencing contexts through recurssion.
A=A can mean anything, with "A" = "Anything" necessitating all phenomena are subject to equivocation....
....while 1+1=2 being the quantifying of any phenomena such as a dot, to a dolphin-hippomatus-turtle hybrid with fire breathing cannons coming out of it fingers, to oranges, to the number of words in a sentence.
8. Logic and math are thus always indefinite and definite at the same time.