Completeness theorem only applies to first-order logic; higher-order and set-theoretic semantics fac...
This proposition has not been edited since the history system was added.