В силу счетности множества целых чисел существует взаимно однозначное соответствие f1 ' ¨®§. В силу счетности декартова произведения §´§ существует взаимно однозначное соответствие f2 ' §´§®§. Легко проверить, что функция f(n,z) = f2(n,f1(z)) задает взаимно однозначное соответствие f ' §´¨®§. 0