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



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



