Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Natural numbers embedded in other sets
Replies:
1
Last Post:
Mar 14, 2013 10:08 AM




Natural numbers embedded in other sets
Posted:
Feb 13, 2013 6:13 PM


Here is a formal proof (112 lines in DC Proof format), that proves the existence of natural numberlike structures in every set S on which there is (1) a onetoone (injective) mapping f, and (2) at least one element that has no preimage under f.
http://www.dcproof.com/ProofByInduction.html
Dan Download my DC Proof 2.0 freeware at: http://www.dcproof.com My New Blog: www.dcproof.wordpress.com



