Логика и математика: неравенства без решений