貝爾

• 逆反
• 析取三段論
• 否定後件論式
• 正交同態
• 五邊形數定理
• 斯派基
• t-設計