Author: nLab edit announcer Format: MarkdownItexThe result as previously stated was false; only the implication from completeness to consistency is valid in general.
Lillian Ryan Uhl
<a href="https://ncatlab.org/nlab/revision/diff/Robinson+consistency+theorem/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Robinson+consistency+theorem/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Robinson+consistency+theorem">current</a>
The result as previously stated was false; only the implication from completeness to consistency is valid in general.