H. Gaifman, Naming and Diagonalization, From Cantor to Godel to Kleene, Logic Journal of the IGPL, 14: 709–728, 2006

You are trying to launch insecure content from within a secure site (canvas). Some web browsers may prevent this content from loading.