בשיעור הראשון אחד התרגילים שהמרצה נתן לנו לבית הוא להוכיח שלכל קבוצה
A מתקיים http://i.imgur.com/MIeRo.png

הוא נתן טיפ, לנסות להוכיח על דרך השלילה.

ברור לי שזה ממש בסיסי אבל אין לי מושג אפילו איך להתחיל לכתוב את ההוכחה.
אני מבין שהקבוצה הריקה (∅) מוכלת בכל קבוצה, אם היא ריקה אז היא שווה לה
ואם היא לא אז היא מכילה אותה. אבל איך כותבים דבר כזה?

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