语言却总是模糊多义，歧义连连，到种种内外环境的制约。因此，这就总是引诱学者要想办法去掉自然语言的这个毛病，弗雷格的概念语言起源于此，皮亚诺的术语言，这大概也是一个重要诱因。你要一个数学系统的协调一致，对于表达数学观念的字符，一定得要相对的语词含义。其实这也有点公理的意味，大家约定好这个符号是个么意，就得遵守这个约定，不要超这个约定的含义。所以，公理是大家都认可，无明就得体遵守的规矩。
而符号的约定呢，也是一个公字，称之为公约，大家全都约定要遵守的东。
皮亚诺的符号约定，相当于自然语言的词典本词汇。
有了本词汇，然后就有了后面的那些句子，以多的派生词汇。（摘自《皮亚诺的术，符号创还是发现？过客与生命之树———读皮亚诺之二》）