زیرپادگونه تاربرگهای پیمودهشده در این نشست: two-valued ⟩ provability ⟩ Thinking about Mathematics ⟩ Axiom of Extensionality ⟩ Multiple-valued logic ⟩ associativity