That is pedantry. As for the other concepts, formalizations of OO have been done — generally to support formal verification of OO languages.

They are incredibly complicated, comprising papers of tens to hundreds of pages, and either extremely language specific, usually only formalizing a portion of the full language, or general but too limited to specify the behavior of real world languages.

The two are not comparable.

I’m also not aware of any general formalization of MVC or how one would even begin to approach a canonical definition, much less formalization.

>I’m also not aware of any general formalization of MVC or how one would even begin to approach a canonical definition

You define it by defining Model, View, and Controller and how they interact with each other. For example take a look at the diagram from the article.