3 ms·
You're thinking of his incompleteness theorems, not this completeness theorem for first order logic. My response to the parent covers both.
by guerrilla 7y ago
You're thinking of his incompleteness theorems, not this completeness theorem for first order logic. My response to the parent covers both.