blackroad-os/simulation-theory
9
0
Fork 0
mirror of https://github.com/blackboxprogramming/simulation-theory.git synced 2026-03-17 08:57:25 -05:00
Code Issues Packages Projects Releases Wiki Activity

Update peano-derivative.md

Browse Source 
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
Alexa Amundson
2026-02-27 11:18:09 -06:00
committed by GitHub
parent 942f39f662
commit e29d407f8e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
proofs/peano-derivative.md
View File

@@ -27,7 +27,7 @@ PA is five core axioms (in first-order logic, with the equality and logical axio
5. (P(0) ∧ ∀n: P(n) → P(S(n))) → ∀n: P(n) (induction) 5. (P(0) ∧ ∀n: P(n) → P(S(n))) → ∀n: P(n) (induction)
``` ```
That is the whole thing. Five lines. The natural numbers follow from these. That is the whole thing. Five lines. In the standard model, what we call “the natural numbers” are exactly those objects satisfying these axioms.
## The Derivative ## The Derivative