>>221-222 補足

”自己言及の論理と計算∗長谷川真人”
の受け売りだが
”自己言及と対角線論法”などにあるように
対角線論法は、集合論の 実数の非可算を越えて
いろんな分野で、使われるようになった

その意味で、対角線論法は
超重要キーワードってことです！（＾＾