に対して、 とするとこれが解になっている。ここで Z が x を含んでいてもいいところが面白い。これを の二変数以上にも拡張できるらしいのだが、どうやるのか分からん。 高階になると急に訳が分からなくなるからその落とし穴にはまっているのかな。

http://d.hatena.ne.jp/ginmath/20050824/1124862810 そりゃ cheap solution といえば cheap なのでしょうが、記号を扱うという行為自体が可能性として可算個のものをこね回すことだけなのだから、ZFCを通してみえてくるものも十分実数体なのではないでしょ…