Questions tagged [peano-axioms]
For questions on Peano axioms, a set of axioms for the natural numbers.
196
questions
43
votes
2
answers
9k
views
How is exponentiation defined in Peano arithmetic?
How would exponentiation be defined in Peano arithmetic? Unless $n$ is fixed natural number, $x^n$ seems to be hard to define.
Edit 2: So, what would be the way to define $x^n+y^n = z^n$ using $\...
17
votes
2
answers
3k
views
How does (ZFC-Infinity+"There is no infinite set") compare with PA?
How does (ZFC-Infinity+"There is no infinite set") compare with (first order) PA? Intuitively, neither theory should be more powerful than the other.
32
votes
6
answers
4k
views
A question on Terence Tao's representation of Peano Axioms
While reading Terence Tao's book on Analysis I had some questions regarding the implication of the Peano Axioms.
After writing the following four axioms (which I will write without changing their ...
11
votes
2
answers
2k
views
Presburger arithmetic
In discovering that Presburger's arithmetic is one of the weaker systems in PA that does not violate Godel's first incompleteness theorem. Upon reading the wiki article, it said that Presburger proved ...
11
votes
3
answers
3k
views
Why is the Axiom of Infinity necessary?
I am having trouble seeing why the Axiom of Infinity is necessary to construct an infinite set. According to a professor of who's mine teaching a class on "infinity," the Peano axioms are only ...
29
votes
3
answers
8k
views
What is an example of a non standard model of Peano Arithmetic?
According to here, there is the "standard" model of Peano Arithmetic. This is defined as $0,1,2,...$ in the usual sense. What would be an example of a nonstandard model of Peano Arithmetic? What would ...
17
votes
2
answers
4k
views
Deducing PA's axioms in ZFC
Recently I've stumbled across this claim:
Peano axioms can be deduced in ZFC
I found a lot of info regarding this claim (e.g. what would (one version of) the natural numbers look like within the ...
3
votes
1
answer
2k
views
Prove that no positive integer is both even and odd, and that all positive integers are either even or odd
What is says on the can:
Prove that no positive integer is both even and odd, and that all positive integers are either even or odd.
This, of course,
depends on defining even and odd.
For extra ...
21
votes
5
answers
4k
views
Purpose of the Peano Axioms
Wikipedia says the Peano Axioms are a set of axioms for the natural numbers. Is the purpose of the axioms to create a base on which we can build the rest of mathematicas formally?
If this is true ...
17
votes
3
answers
4k
views
Why are addition and multiplication included in the signature of first-order Peano arithmetic?
In the second-order approach to Peano Arithmetic, the only non-logical symbols are the constant $0$ and the successor function $S(*).$ But, when we go to first-order Peano Arithmetic, something goes ...
13
votes
2
answers
441
views
Growth-rate vs totality
How can one prove the statement, "If a function grows fast enough, it cant be proven total in PA, unless PA is inconsistent"? How fast must it grow to be not provably total?
6
votes
1
answer
964
views
Are the standard natural numbers an outstanding model of PA?
Is the model $\mathcal N$ of the standard natural numbers in any way outstanding from all the possible (non-standard) models of PA? For example, might it be that $\mathcal N$ is some kind of a minimal ...
5
votes
2
answers
536
views
Can Peano Arithmetic show that the Continuum Hypothesis is Independent of ZFC?
Can Peano Arithmetic show that the Continuum Hypothesis is Independent of ZFC? In other words, is $PA \vdash Con(ZFC) \implies Con (ZFC + CH) \land Con(ZFC + \lnot CH)$ true?
I believe the answer is ...
4
votes
6
answers
424
views
Why does induction only allow numbers connected to $0$ to be natural?
When learning Peano axioms normally we use induction to suggest that if a property $P(0)$ is true, and if $P(k)$ being true implies $P(k + 1)$ being true (for natural number $k$), then if $P$ is the ...
1
vote
2
answers
185
views
Proving that Order for N is Anti-symmetric
I'm having trouble deriving the following fact from the basic properties of $+_{\mathbb{N}}$ and the definition:
Definition. $\forall n, m \in \mathbb{N}: (n \geq m) \leftrightarrow (\exists a \in \...