Логика и математика: упорядочение выражений