back to ideas for this text


Single Idea 13535

[from 'A Tour through Mathematical Logic' by Robert S. Wolf, in 5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic ]

Full Idea

The 'completeness' of first order-logic does not mean that every sentence or its negation is provable in first-order logic. We have instead the weaker result that every valid sentence is provable.

Gist of Idea

First-order logic is weakly complete (valid sentences are provable); we can't prove every sentence or its negation

Source

Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.3)

Book Reference

Wolf,Robert S.: 'A Tour Through Mathematical Logic' [Carus Maths Monographs 2005], p.174


A Reaction

Peter Smith calls the stronger version 'negation completeness'.