----++++****Updated
Distinctions as Self-Contained Self-Contrast; Meta-Formalism
“A” identity, distinction
“=” is or equals
“( )” context, container, set
“○” Scale invariant self referencing context
“<->” biconditional
“-” absence, negation
“+” presence, emergence
-
A
-
A=A
-
((A=A) ↔ (-A=-A)) ↔
((A=/=-A) ↔ (A = - -A)) -
(A ↔ -A) ↔ ((A=A) ↔ (-A=-A))
-
(A ↔ -A) = B
-
B = B
-
(B = B) ↔ (-B=-B) ↔
((B =/= -B) ↔ (B = - -B)) -
(B ↔ -B) ↔ ((B=B) ↔ (-B=-B))
-
(B ↔ -B) = C
-
…D…
-
(A ↔ A) = (B ↔ -B) = (C ↔ -C) =…
-
● ↔ - ●
13 (● ↔ - ●) ↔ ((● =/= - ●)
↔ (● = - -●))
-
● = (+,-)
-
(+, -)
-
( )
-
( ) = ( )
-
(( ) ↔ -( )) ↔
((( ) =/=( )) ↔ (( )=–( ))) -
(( ) ↔ -( )) ↔ (( ))
-
(( )) = (( ))
-
…(..(( ))..)…
-
○
-
A = ( )
A = ○
● = ( )
● = ○
( ) = ○ -
(A ↔ ● ↔ ( ) ↔ ○) = X
X1 = A
X2 = ●
X3 = ( )
X4 = ○ -
(X = (X1, X2, X3, X4)) ↔
(((X = X1) ↔ Y1),
((X = X2) ↔ Y2),
((X = X3) ↔ Y3),
((X = X4) ↔ Y4))
Y(1,2,3,4) = ( )
-
X ↔ Y
-
(A) ↔ (●) ↔ (( )) ↔ (○)
-
…(..(( ))..)…
-
(( )<->( )) = ((( )=( )),(-( )=-( )))
-
(<->)=(+=+, -=-) ↔ (( )<->( ))
-
((+=+) ↔ (-=-)) = ((–=–)<->(++=++))
-
((=) ↔ (=)) = ((=) ↔ (=))
-
(<->,=)
-
(<->)<->(<->),
(=)<->(=)
(<->)=(<->)
(=)=(=) -
( )=( ), ( )<->( )
-
( )
-
( )( ) = (+1,A)
-
( )( )( ) = (+1,+2,-1, +A,+B,-A)
-
( )( )( )( ) =
(1,2,3,-1,-2,+A,+B,+C,-A,-B) -
( )( ) ( )( )( ) = (3,-1, +C, -A)
-
( )( ) ( )( )( )( ) = (×4, -2, +D, -B)
-
( )( ) ( )( )( )( )( ) =
(+5, -3, +E, -C) -
(( )( )) = (+1,+A)
-
((( )( ))) = (+2, +1/2, +B, +A/B)
-
(((( )( )))) = (+3, +1/3, +C, +A/C)
-
( )…( ) = (+n, -n+1, +N, -N+A)
-
(..(..( )..)..) = (+n, +A/n, +N, +A/N)
-
(..( )..)(..( )..) = (1 inf., A continuum)
-
(..( )..)(..( )..)(..( )..) = 2 inf., -1 inf., B cont., -A cont.)
-
…
-
(..( )..)(..( )..) (..( )..)(..( )..)(..( )..) =
(+3inf, -1inf, +C[continuum], -A[Cont.] -
(..( )..)(..( )..) (..( )..)(..( )..)(..( )..)(..( )..) = (+4inf. , -2inf., +D cont., -B cont.)
-
((..( )..)(..( )..)) = (+1 inf., +A cont.)
-
(((..( )..)(..( )..))) = (+2 inf., +1/2 inf., +B cont., +A/B cont.)
-
(..( )..)…(..( )..) = (+n inf. -n inf.+1 inf., +N cont., -N cont.+A cont.)
-
(..(..( )..)..)inf. = (+n inf., +A/n inf., +N cont, +A/N cont.)
-
(..(..( )..)..) ↔ (..(..( )..)..)inf.