Concerning the Representability of Self-Reference in Arithmetic - Paul Daniel Carr (2011)