Математика как иностранный. B1-2. Порядок.

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