M math.stackexchange.com Peano arithmetic is enough, because Peano arithmetic encodes computation 246 points btilly 1 year ago 141 comments
