A formal science that is both

the study of necessary conclusions (Peirce 1895)

and

the language of the universe (Galilei 1623).

---