[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]]