This is an under specified question, until some observable goal is attached to "...

		psychoslave 5 months ago \| parent \| context \| favorite \| on: Peano arithmetic is enough, because Peano arithmet... This is an under specified question, until some observable goal is attached to "enough". Enough for what?