בתורת הקבוצות, L או אוסף הקבוצות הניתנות לבנייה הוא מחלקה של קבוצות שבנויות באופן אינדוקטיבי בצורה מפורשת יחסית מתוך קבוצות פשוטות יותר. איברי L נקראים הקבוצות הניתנות לבנייה. L הוגדר על ידי קורט גדל בשנת 1935, שהוכיח כי הוא מודל של אקסיומת הבחירה והשערת הרצף. מתוך ויקיפדיה

אקסיומת המנייה השניה, אקסיומת המנייה השנייה, אקסיומת המקבילים, אקסיומת הסדר הטוב, אקסיומת הקבוצה האינסופית, אקסיומת השלמות, אקסיומת יהלום, אקסיומת מרטין, אקסיומת קבוצת החזקה, אקסיון