portrait of godel's consistency of the axiom of choice, by tristan eaton, victo ngai, peter mohrbacher, artgerm,