portrait of godel's completeness theorem, by tristan eaton, victo ngai, peter mohrbacher, artgerm,