一致性和矛盾性