>>146 補足
下記の 自己言及の論理と計算∗長谷川真人 京都大学数理解析研究所
数学入門公開講座のpdf が 一般向けで読みやすいだろうから
アップしておきますね　（＾＾

(参考)
https://www.kurims.kyoto-u.ac.jp/~cs/cs2011_hasegawa.pdf
自己言及の論理と計算∗長谷川真人
∗京都大学数理解析研究所
数学入門公開講座（2002年8月5〜8日）の予稿を改訂（2006年5月／2007 年8月／2011年6月）

目次
I 自己言及と対角線論法
1 ラッセルの逆理
2 カントールの対角線論法
3 自己適用
4 停止性問題
5 対角線論法から不動点へ
6 不動点定理から具体例を見直す

II 矛盾したものを構成する
1 完備半順序集合と連続関数
2 最小不動点の発想
3 最初の試み
4 埋め込みと射影
5 なぜ失敗したか
6 正しい解の構成—逆極限法