ДМ и Топ - лекция 02.10.2024

Порядковые типы, строгие порядки, лексикографический и обратный лексикографический порядки. Аксиомы Пеано, теоретико-множественная модель. Доказательства и определения по индукции.