Эта система действительно полная.
Т.к. ни одну функцию нельзя выразить через остальные, то эта система ещё и независима.