تاربرگ‌های پیموده‌شده در این نشست: Russell's paradox A Survey of Symbolic Logic A⥽(B∨¬B)