this post was submitted on 20 Oct 2024
349 points (96.5% liked)

Math Memes

1477 readers
59 users here now

Memes related to mathematics.

Rules:
1: Memes must be related to mathematics in some way.
2: No bigotry of any kind.

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[โ€“] [email protected] 2 points 1 day ago (1 children)

Isn't 1 and +1 well defined by the Peano Axioms by using the intersection of all infinite successor functions and starting at the empty set?

[โ€“] kogasa 1 points 1 day ago

It depends on what you mean by well defined. At a fundamental level, we need to agree on basic definitions in order to communicate. Principia Mathematica aimed to set a formal logical foundation for all of mathematics, so it needed to be as rigid and unambiguous as possible. The proof that 1+1=2 is just slightly more verbose when using their language.