שינויים
/* שיטות הוכחה בסיסיות */
*[[שיטות הוכחה בסיסיות]]
*הוכחת טענות מכומתות - טענות 'לכל' וטענות 'קיים'
<videoflash>QIwz6eyrcuI</videoflash>
*הוכחת הכלה בין קבוצות, ושיוויון בין קבוצות
<videoflash>Dts0NamGWbE</videoflash>
===איחוד וחיתוך כלליים===