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

• למת נקודת השבת
• משפט קנטור-שרדר-ברנשטיין
• איחוד קבוצות בנות מניה בן מניה
• האלכסון של קנטור ועוצמת הממשיים
• משפט דדקינד
• משפט קנטור
• משפט האינדקוציה הטרנספיניטית
• משפט הסדר הטוב
• השקילות בין אקסיומת הבחירה, משפט הסדר הטוב, הלמה של צורן ועקרון המקסימום של האוסדורף