Gottlob Frege Quote

This ideography is a "formula language", that is, a lingua characterica, a language written with special symbols, "for pure thought", that is, free from rhetorical embellishments, "modeled upon that of arithmetic", that is, constructed from specific symbols that are manipulated according to definite rules.

paraphrasing Frege's Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879) in Jean Van Heijenoort ed., in From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (1967)