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.