Comment by hyperpape

It's a bit confusing to say that about the Completeness theorem without noting that it only applies to first order logic. It's not generally true.