“在经典逻辑中，如果存在一对矛盾，那么任何合式公式都能成为定理”，这一说法是否正确？