述語論理の決定不能性についてのノート

下記に公開しました

https://www.researchgate.net/publication/329673174_shuyulunlinojuedingbunengxing_nitsuitenonoto

過去公開していたバージョンは、僕の勉強の忘備録として書いたもので、記述面で論証を大幅に省いていました。そう言う事情もあり、僕以外の人が読む時には非常に読みづらいものでした。

今回は、読み手のことを考えて、厳密な記述で書き直しています。