It's not the math, it's logic. I see this parallel too -- legalese is incredibly dense because it is very specific, and its unreadability stems from (our) natural languages' disinclination towards specificity