述語論理の例題
https://lss.osakafu-u.ac.jp/pluginfile.php/657197/mod_resource/content/0/ml191209q.pdf
ヒントになるかわからないが
『(理論)12 計算モデルの基礎理論』.icon
pp.50-51のやつをメモ
div =
$ \lambda xy.(\exist z)_{\le x}(x=y\times z)
primte=
$ \lambda x.((\forall z)_{\le x}((z=1)\lor(z=x)\lor\lnot\mathrm{div}(x,z))\land(x\gt1))