“不完全”形式的公理化方法在逻辑上的要求，是满足()