blackroad-os/simulation-theory
9
0
Fork 0
mirror of https://github.com/blackboxprogramming/simulation-theory.git synced 2026-03-17 23:34:03 -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 01:48:27 -06:00
committed by GitHub
parent 5a186264da
commit 3c186657e4
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
proofs/peano-derivative.md
View File

@@ -120,7 +120,8 @@ To prove PA wrong from inside PA, you would need to derive:
This has not been done in over a century of scrutiny. It would not win a prize. This has not been done in over a century of scrutiny. It would not win a prize.
It would break mathematics itself — every theorem built on PA would collapse with it. It would break mathematics itself — every theorem built on PA would collapse with it.
The consistency of PA is assumed (and follows from ZFC), not merely hoped for. The consistency of PA is assumed and can be proved in stronger systems such as ZFC,
assuming those systems are themselves consistent—not merely hoped for.
What has been done is something different: What has been done is something different:
- Extending the notation (1_1 instead of 1): not a contradiction, a redefinition - Extending the notation (1_1 instead of 1): not a contradiction, a redefinition