Database 证明证明体系不完整

我想证明证明系统A是不完整的。 A由以下公理组成：

1. Y subset or equal X => X->Y
2. X->Y and Y->Z   =>  X->Z (Transitive relation)

因此，我认为我需要证明公理：X->Y=>XZ->YZ不能用上面的公理来证明。 我想用归纳法来证明这一点，但我不知道如何证明

我可以说基数是：X->Y，因此不能证明XZ->YZ。

---

但是剩下的呢？

你想证明A不完全关于什么

规则X->Y=>XZ->YZ可以使用证明系统A来证明。你可以根据X->Y的证明大小进行归纳

• 基本情况：如果X->Y从1开始。然后XZ->YZ从1开始（YZ是XZ的子集）
• 步骤：如果X->Y从2开始。以X->B，B->Y为前提，然后从导入步骤开始执行XZ->BZ和BZ->YZ。该规则适用于第2条。再一次，你得到XZ->YZ。量化宽松

似乎更适合这个问题？？？