1. True arithmeticIn mathematical logic, true arithmetic is the theory Th of the natural numbers in the language of first-order Peano arithmetic . Tarski's indefinability theorem shows that this theory is not arithmetically definable.
Read “True arithmetic” on English Wikipedia
Read “真の算術” on Japanese Wikipedia
Read “True arithmetic” on DBpedia
Read “True arithmetic” on English Wikipedia
Read “真の算術” on Japanese Wikipedia
Read “True arithmetic” on DBpedia
Discussions
Log in to talk about this word.