:השתמשת בעובדה שלא ייתכן שגם <math>|A|\leq |B|</math> וגם <math>|A|> |B|</math>, אבל זו מסקנה ממשפט קנטור ברנשטיין. ההוכחה שלך מעגלית. --[[משתמש:Ufirst|אוריה]] 09:45, 22 באוגוסט 2012 (IDT)
אבל כשהוכחנו שהקטע בין 0 ל 1 הוא לא בן מנייה, הוכחנו בעצם שלא קיימת פונק' על בן הטבעיים לקטע הנ"ל, ובמילים אחרות |A|<=!|B| ג (|A| לא קטנה שווה ל |B|) גורר ש |A|>|B|.
ובדוגמה הזאת, |[N|>=!|[0,1| גורר ש |[N|<|[0,1| ולכן שניהם לא יכולים להיות באותו זמן (כי השתמשנו בזה בשביל להוכיח שהעוצמה של הקטע גדולה מהעוצמה של הטבעיים)
== החזרת תרגילי בית ==