о проектирований технически оптимальных систем и проблеме корректности