Talk:Successor Mapping of Peano Structure has no Fixed Point

I know we've defined it only on a Peano structure, but have we established that a "successor mapping" is only ever defined on a Peano structure? If not, then I recommend we keep the reference to Peano Set (renaming it as Peano Structure) in the title; otherwise (and I'm quite happy for this to be the case) we can indeed rename it to remove Peano from the title. --prime mover (talk) 14:47, 26 October 2014 (UTC)