home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / math / 10317 < prev    next >
Encoding:
Text File  |  1992-08-17  |  1.3 KB  |  28 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!europa.asd.contel.com!darwin.sura.net!Sirius.dfn.de!Urmel.Informatik.RWTH-Aachen.DE!messua!dak
  3. From: dak@messua.informatik.rwth-aachen.de (David Kastrup)
  4. Subject: Re: You know, the integers (was: Re: Stupid question about FLT)
  5. Message-ID: <dak.714053498@messua>
  6. Sender: news@Urmel.Informatik.RWTH-Aachen.DE (Newsfiles Owner)
  7. Nntp-Posting-Host: messua
  8. Organization: Rechnerbetrieb Informatik  /  RWTH Aachen
  9. References: <1992Jul21.132554.152734@ns1.cc.lehigh.edu>     <1992Jul29.173257.5041@ariel.ec.usf.edu> <1992Aug4.174928.1071@sics.se>     <1992Aug11.190119.23518@ariel.ec.usf.edu> <1992Aug16.172642.13398@sics.se>
  10. Date: 17 Aug 92 12:11:38 GMT
  11. Lines: 15
  12.  
  13. torkel@sics.se (Torkel Franzen) writes:
  14.  
  15.  
  16. >  What is PA? My explanation of the integers is simple: the integers
  17. >are 0, s(0), s(s(0)) and so on. Any obscurity or ambiguity that you
  18. >find in this explanation carries over to any explanation of what is
  19. >meant by "PA".
  20.  
  21. Wow, quite a few less features (axioms) than I need.
  22. At least cyclelessness would be desirable, or else you end up with
  23. a finite set. And some other things would be nice too, as someone
  24. called Peano has figured out quite a while ago.
  25.  
  26. The above corresponds more or less to the axiom justifying
  27. proofs by complete induction.
  28.