I don't completely agree. To follow your analogy, I don't think the languages themselves are "theorems". Rather they are notation. Some notation is shorthand. S

I don't completely agree. To follow your analogy, I don't think the languages themselves are "theorems". Rather they are notation. Some notation is shorthand. Some is quite verbose. But in the end it is not the notation that makes or break a theorem. However, a theorem may be more or less clear depending on the notation.