概念语言是西方现代数学著作，德国数学家、逻辑学家弗雷格(Frege , ( F. L.) G.)著，1879年初版于哈雷(Halley, E. )，弗雷格是逻辑主义的创始人之一，终生致力于用逻辑为算术奠定严格的基础。

弗雷格试图给出数的一个满意的定义，并给算术以严格的基础.为此，他发现普通语言无能为力，为了克服这一困难，他写出了《概念语言》一书，试图提供一种完善、充足地分析与表述数学证明的有效工具.这一工具逐步发展为现代数理逻辑，而弗雷格则成为数理逻辑的创始人之一所谓“概念语言”是一种表意语言，用它进行推理最易于发现隐含的前提和有漏洞的步骤.弗雷格认为算术定理是可由纯逻辑规律出发证明的.为了保证推理过程的绝对严格性，他特地创设了这种符号语言，意欲作为纯粹思维的公式语言.弗雷格的分析与布尔(Boole , G.)或佩亚诺(Peano,G.)的有着本质的不同，他们的工作并未将数学证明形式化，而只是使之更易于表达概念的逻辑结构.