**[[מדיה:88195_כפל_בשלמים.pdf|הכפל בשלמים מוגדר היטב (הוכחה)]]
**[[מדיה:88195_אקסיומות_ZFC.pdf|אקסיומות ZFC לתורת הקבוצות]]
**[[מדיה:88195_עקרון ההכללה וההוצאה מן הכלל.pdf|עקרון ההכללה וההוצאה מן הכלל(הוכחה)]]
**[http://webcourse.cs.technion.ac.il/234141/Winter2013-2014/ho/WCFiles/withrep-full.pdf הפניה לדף בנושא תמורות וצירופים (הטכניון)]