首页>数学纪闻录 > 第143章 布尔为一套包罗万象的逻辑体系提供语法与词典