布尔代数系统的公理化定义及基本性质定理

• Axiom definition and basic character theorem of Boole's mathematical system