איזה סוג של הכלה?
הכלה ממש ברור שלא, הכלה חלשה זה פשוט נובע מטבלאות אמת: צריך "להוכיח" ש לכל איבר בקבוצה הריקה קיים איבר בקבוצה האחרת או במילים אחרות:
if a is in the empty set then it's in A
אבל הקבוצה הריקה, ריקה, לכן המשפט מתקיים באופן ריק, כלומר הרישא של הפסוק שקרי, ולכן הפסוק אמיתי זה לא ממש הוכחה, זה יותר עניין של הגדרות.
