Изменения

<tex>P(n)</tex> — все элементы <tex>\leqslant n</tex> не лежат в <tex>A</tex> <tex>\Rightarrow</tex> <tex>P(1) \ldots P(n)</tex> — верно и <tex>P(n+1)</tex> — верно (т.к. он был бы '''min''') <tex>\Rightarrow</tex> в <tex>A</tex> ничего не лежит. Противоречие.

}}

== Источники информации ==

* [https://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%B8%D0%BD%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D1%8F Математическая индукция]

[[Категория: Классы чисел]]