pʌkˈɑʒym fˈɑkt v bˈoɭʲijɪ ˈopɕim smˈysɭʲi, ʃto nʲˈet bʲijˈektsyɪ mʲˈeʒdu ʌprʲidʲiɭʲˈɵnnym mnˈoʒystvʌm ˈi mnˈoʒystvʌm fsʲˈex jɪvˈo pʌdmnˈoʒystf.
Покажем факт в более общем смысле, что нет биекции между определённым множеством и множеством всех его подмножеств.