数学逻辑-平方和计算