Принцип упорядочивания. Логика. Олимпиадная математика