A statement can be sinnlos within a formal system while remaining syntactically well-formed and oper...