高维形式系统中为真的逻辑，在其低维子集形式系统中应然为真，但缺失的维度将导致该逻辑在高维形式系统中内含的低维形式形系统中无法被演绎。这将导致它要么被直接视为公理或者常数，要么被忽视，而无法被理解。理解是一种内涵，而非一种过程。除非你能抽象出缺失的维度，并在此基础上补足必要的形式空间。这能让你获得额外的自由。这种情况在工程意义上被称为兼容，在认知意义上被称为智慧。(a:vim,d:210907)(#形式逻辑 #认知.)