تاربرگ‌های پیموده‌شده در این نشست: Downward Löwenheim-Skolem Theorem ⟩ Jean Buridan ⟩ Ring ⟩ Alfred Tarski