OCaml の勉強をしようと思って、手始めに↓をOCamlに翻訳しようと思っていきなり挫折

ttp://www.miv.t.u-tokyo.ac.jp/~yabuki/tip/lisp/unknowable/godel.html

どなたか知恵を与えていただけないでせうか