anonymous
  • anonymous
Peano's axioms prove
Mathematics
katieb
  • katieb
See more answers at brainly.com
At vero eos et accusamus et iusto odio dignissimos ducimus qui blanditiis praesentium voluptatum deleniti atque corrupti quos dolores et quas molestias excepturi sint occaecati cupiditate non provident, similique sunt in culpa qui officia deserunt mollitia animi, id est laborum et dolorum fuga. Et harum quidem rerum facilis est et expedita distinctio. Nam libero tempore, cum soluta nobis est eligendi optio cumque nihil impedit quo minus id quod maxime placeat facere possimus, omnis voluptas assumenda est, omnis dolor repellendus. Itaque earum rerum hic tenetur a sapiente delectus, ut aut reiciendis voluptatibus maiores alias consequatur aut perferendis doloribus asperiores repellat.

Get this expert

answer on brainly

SEE EXPERT ANSWER

Get your free account and access expert answers to this
and thousands of other questions

anonymous
  • anonymous
Starting from Peano's axioms prove that if \[n \in \mathbb{Z}^+ and n \ne1\] then n is a successor, i.e. s(a)=n for some \[a \in \mathbb{Z}^+ \]
anonymous
  • anonymous
[Let A=Im(s) U {1} and prove that A=Z+]
KingGeorge
  • KingGeorge
I think the first could happen through induction. Base case: If \(n=2\), then \(s(1)=2\), so we're good. Now we assume up to some \(k

Looking for something else?

Not the answer you are looking for? Search for more explanations.

More answers

anonymous
  • anonymous
which second part? whats in thee brackets is the hint
KingGeorge
  • KingGeorge
If that's the hint, then we're completely done. For \(n\in\mathbb{Z}_{\ge 2}\), we have that \(n\in \text{im}(s)\), and since \(\text{im}(s)\subseteq \mathbb{Z}^+\) by definition, we've proved that \(A=\mathbb{Z}_{\ge2}\), so \(A\cup \{1\}=\mathbb{Z}^+\).

Looking for something else?

Not the answer you are looking for? Search for more explanations.