оказался не до конца соответствующим пониманию цели того, кто её поставил
- естественно, ведь мы формализовали понятие "всеобщего счастья"

Фактически в ограничивающие условия вы запихиваете всё, что не смогли запихать в основное условие
- не совсем так. Можно сказать, что Цель- то чего нужно достичь, а Рамки- то чего при этом надо избежать.

В любом случае, то, что Цель может быть формализована я доказал.