Proof: By Induction

(related to Proposition: Set-Theoretical Meaning of Ordered Tuples)

We use a proof by complete induction.

Base case: $n=1$

Induction step: $n\ge 1$


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Ebbinghaus, H.-D.: "Einf├╝hrung in die Mengenlehre", BI Wisschenschaftsverlag, 1994, 3th Edition