"Matematiku nestuduji, ale není postačující a nutnou podmínkou stejné mohutnosti dvou množin existence bijekce mezi nimi?"
Proč? Co když se na to podívám laicky takhle: je množina M přirozených čísel, ta obsahuje podmnožinu N přirozených sudých čísel, přičemž tyto nejsou totožné (existuje alespoň 1 prvek ve množině M, který není zároveň obsažen i v její podmnožině N). Přesto N + 1 = N? Je podmínka bijekce? dostačující?