G golem.ph.utexas.edu The Inconsistency of Arithmetic (2011) 368 points woopwoop 5 years ago 164 comments