Highest Abstraction for Logic and Math?

This is a simple question.

My stance, as stated elsewhere, is that the language for it has not been fully invented yet. Considering the nature of truth is subject to context, the primary symbols would be:

"( )" for "context"
"{ }" for "context of contexts"
"[ ]" for "transitional context"
"/" "modality of context"
"-->" for "transition of one context to another"
"•" as the "fundamental variable"


A simple statement such as "The cat eats cat food therefore we bought cat food" would be expressed as:

{(C)[E-->](F/C)}-->{(W)[B-->](C/F)}

Or "The sky is blue"
(S)-->(B)


Or for math

1+2=3
{+1-->(+1-->+1)}-->+3

4÷2=2
(+4/+2) --> +2




All inference and implication shows a probabilistic nature; therefore would be expressed as modalities as all modalities are fractions and fractals:

{({(In)(Im)}/A) [S-->] (N/P)} [E-->] (M)[A-->]{(Fn)(Fl)}

"The cat eating the food implies the cat is hungry"
{(C/E)(F)}/(C/H)



The logic is primitive yet seems to represent the basic underlying form of all propositions. I cannot seem to break it down to any deeper basics. Thoughts for or against? Discuss.