荒らしに絡むのもアレだがあらゆる言語が等価になっちゃうような系(バイナリ化による符号化で言語の識別すら出来ない)で
無理やり数学を作るとどんな変な世界になるんだろうと思った

とりあえず自明変換

f 1 = 1

は定義出来そう