贝尔

• 逆反
• 析取三段论
• 否定后件论式
• 正交同态
• 五边形数定理
• 斯派基
• t-设计