A formal system admitting more models—not fewer—is standardly considered more general, and the reali...