تاربرگ‌های پیموده‌شده در این نشست: right-angled ⟩ logicism ⟩ Ring ⟩ Assertion ⟩ Indicative conditional ⟩ Explicandum