>>770
ふむふむ勉強になった。数理論理学用語は知らないので、勉強になった。
参考にする。