צריך להוכיח כי קבוצת כל תתי הקבוצות של \mathbb{N} בגודל אינסופי כלומר:
\{|X|\text{ is infinite}:X\in\mathcal{P}(\mathbb{N})\}
היא קבוצה שאינה בת מניה לפי שיטת הלכסון.
צריך להוכיח כי קבוצת כל תתי הקבוצות של \mathbb{N} בגודל אינסופי כלומר:
היא קבוצה שאינה בת מניה לפי שיטת הלכסון.