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

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