[math] the diagonalization proof, in its basic form. because I'm a nerd who likes both math and explaining things