设是资源”:在证明中所有假设必须被消费“精确一次”。这区别于平常的逻辑比如经典逻辑或直觉逻辑，那里统治判断是“真理”，它可以按需要被自由的使用多次。例如，从命题"A"和"A" ⇒ "B"能按如下步骤得出结果"A" ∧ "B":这经常被符号化表示为相继式："A", "A" ⇒ "B" formula_1 "B"。在上述证明中"消费"了"A"为真的事实；这种真理的"自由"通常是在形式化数学中所需要的。但是，真理经常在应用于关于这个世界的陈述的时候太抽象或不实用。比如，假设我有一夸脱的牛奶，我能用它制作