>>32
じゃあ質問を変えよう
集合論に詳しいようだから
整数値関数は被覆されているとする
このとき

a=b

は何だ?