> On 18 Dec 2018, at 21:31, Brent Meeker <meeke...@verizon.net> wrote: > > > > On 12/18/2018 4:48 AM, Bruno Marchal wrote: >>> It is disingenuous to imply that whomever believes "2+2=4" is thereby >>> committed to believing arithmetic is consistent or even that it is well >>> defined. >> What could mean “2+2=4” for someone not believing in the consistency of >> elementary arithmetic? > One could easily believe 2+2=4 without believing there are infinitely many > numbers.
Absolutely. That is the difference between RA (and PA) with ZF. ZF believes that there is an infinity of numbers, where RA and PA just stay mute. RA (not PA) can even consistently believe that there is a biggest natural number. No problem. Bruno > > Brent > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to everything-list@googlegroups.com > <mailto:everything-list@googlegroups.com>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
