公理：“没有隔夜的仇”之推理论证

按几何推理论证法：

假设：昨夜仇是“甲”，隔了一夜，生出了一个新仇“乙”，于是，今日之仇是“甲” + “乙” = “甲乙”。
因为：“甲”《》“甲乙”。
所以：昨夜仇《》今日仇。
因此：“没有隔夜仇”的公理成立