A formal science that is both

the study of necessary conclusions [1]

and

the language of the universe [2].

---