On this problem episode, join Sofía and guest Diane Baca to learn about what an early attempt to formalize the natural numbers has to say about whether or not m+n equals n+m.This episode is distributed under a CC BY-SA 4.0 license (https://creativecommons.org/licenses/by-sa/4.0/)--- This episode is sponsored by · Anchor: The easiest way to make a podcast. https://anchor.fm/appSupport this podcast: https://anchor.fm/breakingmathpodcast/support