[guerrilla]

You're thinking of his incompleteness theorems, not this completeness theorem for first order logic. My response to the parent covers both.