If , it has the standard natural numbers and standard finite proofs. Every arithmetical sentence, including a formal consistency statement, therefore has the same truth value in and the universe.
Articles by others on the same topic
There are currently no matching articles.