  Relatedly, pragmatic approaches tend to be holistic. Because it is whole logical systems that can be evaluated as sufficient or insufficient for doing the “job” assigned to logic, properties of systems tend to be emphasized in pragmatic demarcations. For example, Wagner (1987, 10–11) invokes Lindstrom’s theorem—that first-order logic is the only logic that is either complete or compact and satisfies the Löwenheim-Skolem theorem—in arguing that logic should be limited to first-order logic, and Kneale and Kneale (1962, 724, 741) invoke Gödel’s incompleteness theorems to similar effect. Although nothing about the idea of an analytical demarcation excludes appeal to properties of whole systems, analytical demarcations tend to appeal to local properties of particular expressions rather than global systemic properties.