>>Тервер обычно считают легким
шта? не, он лёгкий - ровно до того момента, когда начинаешь углубляться в аксиоматику колмогорова и всё, что из неё следует.