Peano arithmetic is enough, because Peano arithmetic encodes computation

news.ycombinator.com

saved by: 0 people
related read on: Peano arithmetic is enough, because Peano arithmetic enc... discussion