[数]?形式蕴涵
“形式蕴涵”（formal implication）是罗素在《数学原理》中引入的一个称谓，以下是其在《数理哲学导论》中关于该词含义的说明：
形式蕴涵
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。