Symbolic Language

When i was thinking about math, i was very rested in this sort of, like having an intuition for like, how you might get to a proof that can often be serveed this way. And sometimes they really do lead to a solution, right? I think th it seems that those kinds of things are not easily capturable in language, but it's hard to say exactly. Maybe we just not have enough compotational power, or decotes badtil teow,. That's one of the tricky things, red, is that you can almost always express things in language somehow.