portrait of godel's incompleteness theorem, by mike hinge,