p126

対角線論法 について次ような記事がある: W. F. Dowling, “Computer viruses: diagonalization and fixed points,” Notices Amer. Math. Soc.  37 , 858 (1990)