14 citations · 23 across the 3 of their papers we have counts for
1 paper · 1 filter
Sergei Artemov
We offer a mathematical proof of consistency for Peano Arithmetic PA formalizable in PA. This result is compatible with Goedel's Second Incompleteness Theorem since our consistency…