On Monday, February 24, 2020 at 8:13:25 PM UTC-7, Brent wrote: > > > > On 2/24/2020 6:28 PM, Alan Grayson wrote: > > > > On Monday, February 24, 2020 at 6:24:12 PM UTC-7, Brent wrote: >> >> >> >> On 2/24/2020 4:50 PM, Alan Grayson wrote: >> >> *ISTM that Peano's Postulates clearly imply positive and negative >> integers, zero, and arithmetic. What's the contrary argument? TIA, AG * >> >> >> Contrary to what? >> >> Brent >> > > > *I'm referring to the argument of those who claim the Peano's Axioms don't > imply arithmetic (when IMO, they obviously do). How does that argument > go?AG * > > > Dunno. How do such arguments go? > > Brent >
*Concerning PA, Peano's Axioms, how do we know that a set exists that satisfies those axioms, or is it just assumed it exists? AG * -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/a81a47f3-dda5-4f26-b97f-dd9cb92c7f37%40googlegroups.com.
