tˈɑɡʒy, mˈoʒnʌ ʌbʲirnˈutʲ v dʌvˈoɭnʌ ɪʑˈɑɕnyj vʲˈit dʌkazˈɑtʲiɭstvʌ ˈop ʌtsˈutstvʲiɪ 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.
Также, можно обернуть в довольно изящный вид доказательство об отсутствии биекции между определённым множеством и множеством всех его подмножеств.