语言是逻辑的常用表现形式。