Zbiór potęgowy jako zbiór pusty takidrugi: Czy może się zdarzyć sytuacja, aby zbiór potęgowy P(A) był zbiorem pustym? Pierwszym kandydatem, który przychodzi do głowy jest zbiór pusty, ale P(∅)={∅}≠∅ Natomiast każdy inny zbiór posiada co najmniej 1 element, więc ze wzoru na liczbę elementów zbioru potęgowego 2^x wynika, że każdy z nich będzie miał co najmniej 2 elementy, zatem nie może być wśród nich ∅. Czy to rozumowanie jest poprawne?

Adamm: rozważmy dowolny zbiór A A∊P(A) ⇒ P(A) nie jest pusty

takidrugi: Czyli nie istnieje taki zbiór?