בתשובה לדורון שדמי, 19/10/05 13:26
קנטור והנחת המבוקש 338979
אקסיומת ההפרדה חלה גם עבור טענות כאלה.

עבור כל קבוצה A קיימת הקבוצה {x in A | x not = x}.
קנטור והנחת המבוקש 338992
"עבור כל קבוצה A קיימת הקבוצה {x in A | x not = x}."

נו, אז A הינה הקבוצה הריקה לפי הנ"ל כי
x not = x
אינו בר-קיום במערכת בוליאנית.
קנטור והנחת המבוקש 338999
נכון.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים