There are two kinds of theorems
Brajeshwar
14 points
1 comment
August 12, 2026
Related Discussions
Found 5 related stories in 79.9ms across 8,795 title embeddings via pgvector HNSW
- The Four-Color Theorem Gets a Rare New Proof pavel_lishin · 45 pts · September 10, 2026 · 46% similar
- If math is more than proof, we need to better celebrate the rest of it num42 · 336 pts · September 19, 2026 · 46% similar
- Formalizing Fermat's Last Theorem jlebar · 565 pts · September 04, 2026 · 44% similar
- Fermat's Last Theorem in Lean 4 aaraujo002 · 83 pts · September 04, 2026 · 43% similar
- A Beginning for Mathematics pact_inference · 28 pts · September 14, 2026 · 42% similar
Discussion Highlights (1 comments)
pavel_lishin
> We develop the theory of the Peano numbers, define addition, and prove that addition is commutative, Was that because we didn't know how to do addition? No. We already knew that addition was commutative. The point of the theorem is to show that Peano arithmetic knows that addition is commutative. Gotta remember this when the kiddo starts doing proofs.