A二义性B不完整性C矛盾D含糊性正确ABCD关于形式化说明技术，下列说法正确的是（）