Assertion: order logic | /r/HasProperty | kneale
Facets:
Source sentences:
text: 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.
text: 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.