[Top] [All Lists]

[ontolog-forum] Correction to a typo

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Tue, 23 Aug 2011 12:07:09 -0400
Message-id: <4E53D02D.4020106@xxxxxxxxxxx>
In my previous note, there was a typo in the quotation I copied
from Shoenfield's book.  Following is the corrected version:    (01)

> If A is a formula of [Peano's theory stated in first-order
> logic that contains a free variable x], then the formula
>    A(0) & (For all x (A(x) -> A(S x))) -> A
> is called an _induction axiom_.  The theory obtained from
> [Peano's axioms by omitting his second-order axiom] and
> adding all the induction axioms as new nonlogical axioms
> axioms is called _Peano Arithmetic_.    (02)

My typo was "induction axioms as new induction axioms" instead
of just "induction axioms".  That's why we need a simple way
to "cut and paste" from a printed book.    (03)

John    (04)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (05)

<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-forum] Correction to a typo, John F. Sowa <=