Recursive enumerability guarantees that all valid formulas can be systematically listed, which is lo...
This proposition has not been edited since the history system was added.