[Obsidian AVA](https://github.com/louis030195/obsidian-ava) AI generated tags: #epistemology #logic #knowledge
#mathematic
#philosophy
Created at 2022-12-17
Last modified date: 2022-12-17 08:53
Commit: 1
# [Anonymous feedback](https://www.admonymous.co/louis030195)
# [[Epistemic status]]
#shower-thought #to-digest
# Related
- [[Godel Theorem]]
- [[Kurt Gödel - On Formally Undecidable Propositions of Principia Mathematica and Related Systems]]
- [[Infinite recursion]]
- [[Russell's Paradox]]
- [[Halting problem]]
# TODO
> [!TODO] TODO
# Peano axioms
In 1931, [[Godel Theorem|Godel]] proved his **second incompleteness theorem**, which shows that such a consistency proof cannot be formalized within Peano arithmetic itself
```py
def even_serie(n):
n = n + 2
if n === infinity:
return n
return serie(n)
print(\
"this is a Peano serie of 0, number, successor, number being only the even numbers",\
serie(0)\
)
```
#todo
# Zero
# Number
# Successor
# Predecessor
# Immediate predecessor
# [[Induction]]