Gödelの対関数
#対関数
Cantorの対関数
よりも小さく済ませる対関数
定義
2つの自然数
$ x,y
に対応して自然数
$ \lang x,y\rang
を一つ定めることが出来る
$ x < y \implies x + y^2
$ x \ge y \implies x^2 + x + y
逆関数
#TODO