Inexhaustibility: A Non-Exhaustive Treatment (Lecture Notes in Logic 16)