Identity is Grounded in Monadic Recursion Via Event of Distinction
- negation/absence
-- negation of negation/absence of absence
( ) context/set/localization
<-> binconditional/if and only if
--X = (--X <-> -X)
-X = (-X <-> --X)
(--) = ((--) <-> (-))
(-) = ((-) <-> (--))
((--) = ((--) <-> (-))) <-> ((-) = ((-) <-> (--)))
--(=) <-> -(=)
(=) <-> (-, --)
(<->) = (-, --)
(--) <-> (-)
-
--
--- = -
---- = --
----- = -
------ = --
.....
-(-...) = (- -> -)
X = -
X(X) = --
All standard identity laws, and formal rules, as subject to identity are subject to these distinctions given they are events of distinction themselves.