בלוגיקה מתמטית, משפט לוונהיים⁻סקולם הוא משפט יסודי בתורת המודלים שקובע שאם לתורה בשפה בת מנייה מסדר ראשון יש מודל אינסופי, אז יש לה מודל מכל עוצמה אינסופית. המשפט מראה שלתורה בת⁻מנייה מסדר ראשון אין שליטה על העוצמה של המודלים האינסופיים שלה (בניגוד לשפה מסדר שני), ושכל תורה שכזו שיש לה מודל אינסופי אינה קטגורית (משמע יש לה יותר ממודל אחד עד כדי איזומורפיזם). מתוך ויקיפדיה

משפט לגראנז' (בתורת החבורות), משפט לגראנז' (פולינומים), משפט לגראנז' (תורת החבורות), משפט לגרנז' (תורת החבורות), משפט לובאס⁻קנזר, משפט לוונהיים⁻סקולם, משפט לוזין, משפט לוסטרניק⁻שנירלמן, משפט לוסין, משפט לופיטל