Relation between Semantic Completeness and Syntax Completeness on General Formal Systems