What is Von Neumann Successorship? (Peano Arithmetic)

Sponsors: NBA_Ruby, Antybodi, Federico Galvão, Mike Gloudemans, Andy Capone, Andreas Froestl, The Jack Bancroft, Jakey, Andrew Sullivan, Eugene SY, Tyler James, Antoinemp1, Dennis Sexton, Joao Sa, Joshua Furman, SirSpammenot Multitude, Ploney, Avatar, Diéssica, GhostlyYorick, Hendrick McDonald, horace chan, Will DeRousse, Star Gazer, Paul Linkogle, Julian Seidl, Doǧan Çetin, Thomas Kristic, Panos Tsivi, Jesse Willette and Daniel West. Thanks for your support on Patreon! If you want to become a patron, follow this link: / carneades
Here are some videos you might enjoy:
The 100 Days of Logic ( • 100 Days of Logic (Full) )
History of Philosophy ( • Four Weeks of Famous P... )
Ancient Philosophers & Zeno’s Paradoxes ( • Schools of Ancient Gre... )
ExPhi Experimental Philosophy ( / @experimentalphilosoph... )
Map of Philosophy ( • The Map Of Philosophy )
More videos with Carneades ( / @carneadesofcyrene )
Philosophy by Topic:
Epistemology: • Epistemology
Metaphysics: • Metaphysics
Political Philosophy: • Political Philosophy
Philosophy of Religion: • Philosophy of Religion
Ancient Philosophy: • Ancient Philosophy
Philosophy of Science: • Philosophy of Science
Philosophy of Language: • Philosophy of Language
Philosophy of Art/Aesthetics: • Philosophy of Art (Aes...
Buy stuff with Zazzle: www.zazzle.com/store/carneade...
Follow us on Twitter: @CarneadesCyrene / carneadescyrene
Information for this video gathered from The Stanford Encyclopedia of Philosophy, The Internet Encyclopedia of Philosophy, The Cambridge Dictionary of Philosophy, The Oxford Dictionary of Philosophy, The Oxford Companion to Philosophy, The Routledge Encyclopedia of Philosophy, The Collier-MacMillan Encyclopedia of Philosophy, the Dictionary of Continental Philosophy, and more! (#settheory #Peano)

[@Grateful92]

Not watched it yet but I hope you will read my comment;
Thanks for not coloring the philosophy by your personal beliefs and keeping it precise and worth watching. This world needs more educators like you

[@gabrielleyba2842]

is neumann not newman

[@InventiveHarvest]

You would not be able to add these numbers together - to add sets together, they must be disjoint. All of these sets have a common element, the empty set and are therefore not disjoint.

[@ostrich_dog]

in fact you don't add them the same way you add sets: you define a recursive relation between the pairs of two numbers and a third number, such that x+0=x, and x+successor(y)= x+y+1 (recursively)

[@InventiveHarvest]

@@ostrich_dog you are using + in the definition for +