پیشنیازها Predicate Logic Löwenheim-Skolem Theorem جستارهای پیونددار mathematical logic دستاوردها/پیامدها Upward Löwenheim-Skolem Theorem Downward Löwenheim-Skolem Theorem