In the inductive step, where you must prove that. P(k) P(k 1) ... This is our inductive hypothesis, i.e., we ... is an L, so the result holds. Inductive Step: ...
Sets: capital letters X,Y,... Elements: small letters x,y,... Jouko ... Partial order (X, ), poset. Reflexive, antisymmetric and transitive. Example (P(X) ...
... axiom about the set of integers called the Well-Ordering Property ... By the well-ordering property, S has a least element, which will be denoted by m. ...