A system that cannot prove all truths of its domain fails a core criterion of usefulness, making sou...