Quantcast

Got Homework?

Connect with other students for help. It's a free community.

  • across
    MIT Grad Student
    Online now
  • laura*
    Helped 1,000 students
    Online now
  • Hero
    College Math Guru
    Online now

Here's the question you clicked on:

55 members online
  • 0 replying
  • 0 viewing

math_proof

Peano's axioms prove

  • one year ago
  • one year ago

  • This Question is Closed
  1. math_proof
    Best Response
    You've already chosen the best response.
    Medals 0

    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}^+ \]

    • one year ago
  2. math_proof
    Best Response
    You've already chosen the best response.
    Medals 0

    [Let A=Im(s) U {1} and prove that A=Z+]

    • one year ago
  3. KingGeorge
    Best Response
    You've already chosen the best response.
    Medals 1

    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<n\). Now we need to show it's true for \(k+1\). But since \(s(k)=k+1\) for \(k\in\mathbb{Z}^+\), we're done. I've got to go for a bit now. I'll come back to the second part later.

    • one year ago
  4. math_proof
    Best Response
    You've already chosen the best response.
    Medals 0

    which second part? whats in thee brackets is the hint

    • one year ago
  5. KingGeorge
    Best Response
    You've already chosen the best response.
    Medals 1

    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}^+\).

    • one year ago
    • Attachments:

See more questions >>>

Your question is ready. Sign up for free to start getting answers.

spraguer (Moderator)
5 → View Detailed Profile

is replying to Can someone tell me what button the professor is hitting...

23

  • Teamwork 19 Teammate
  • Problem Solving 19 Hero
  • You have blocked this person.
  • ✔ You're a fan Checking fan status...

Thanks for being so helpful in mathematics. If you are getting quality help, make sure you spread the word about OpenStudy.

This is the testimonial you wrote.
You haven't written a testimonial for Owlfred.