Talk:Non-Successor Element of Peano Structure is Unique

From ProofWiki
Jump to navigation Jump to search

These proofs are not fundamentally different. The only difference is the construction of the set that induction applies to. Seeing as one of the proofs does a lacklustre job of constructing anything, I suggest that proof be deleted. — Lord_Farin (talk) 18:15, 25 October 2014 (UTC)

Feel free, delete away. I was not too happy with this one myself. It was the result of my own work trying to fill in the gaps of the appallingly loose presentation as provided by Jacobson. --prime mover (talk) 20:02, 25 October 2014 (UTC)