0
$\begingroup$

More formally stated: "Suppose $A \subset C$ with $|A|=n$. Then one could identify each element in $A$ as $a_1,...,a_n$ such that $a_i for $1\leq i\leq n-1$."

Sorry if the $\LaTeX$ is not up to par, but I'm still a novice at typesetting.

Anyway, this is what I understand to be a way to state the well ordered theorem for a finite set through induction. I had the idea that one could try and examine each element and put them in order since the set isn't infinite, but it might not be the case. This may seem trivial, but I just have a difficulty wrapping my head around it. Help is appreciated.

  • 0
    I may be incorrect but I thought you needed the existence well ordering as a property in your set to perform induction over that set first, since you need to define a "first, second third... nth" element before you could act. That said I think you can get the well ordering without induction in this case by simply defining a function from A to N.2012-09-17
  • 0
    @Vilid Yes I understand what you mean. I read about this here: http://www.proofwiki.org/wiki/Equivalence_of_Well-Ordering_Principle_and_Induction#Final_assembly still they prove induction is true previously, but for an infinite set.2012-09-17

1 Answers 1