On 2/25/2020 12:18 AM, Alan Grayson wrote:
*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 *
What does it mean for a set to "exist". Does it mean a collection of things that if you kick them they kick back? In mathematics it just means a collection of unique things that don't imply a logical contradiction.
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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/1cfe7897-35de-d01b-69a0-a95ad6ffe47a%40verizon.net.
