Gödel's completeness theorem shows validity enumeration suffices for first-order logic without requi...
This proposition has not been edited since the history system was added.