为普遍表意文字、普遍语言、通用语言、普适语言以及普适科学语言等），是德国哲学家戈特弗里德·莱布尼茨所设想的一种通用的形式化语言；该语言能够表达数学、科学以及形而上学（纯粹哲学）方面的概念。莱布尼茨希望创建的是一种可以在通用逻辑运算或者说框架之下加以使用的语言。
参考文献.On Leibniz's lifelong interest in the "characteristica" and the like, see the following texts in Loemker (1