Explicatum


تاربرگ‌های پیموده‌شده در این نشست: Ernst Friedrich Ferdinand Zermelo ⟩ Stanisław Jaśkowski ⟩ Downward Löwenheim-Skolem Theorem ⟩ Ernst Schröder ⟩ Upward Löwenheim-Skolem Theorem ⟩ Löwenheim-Skolem Theorem