The theorem states that, "A system of linear equations has zero, one or infinitely many solutions. There are no other possibilities."

Initially, I thought it would have the form

$p\phantom{\rule{thickmathspace}{0ex}}\u27f9\phantom{\rule{thickmathspace}{0ex}}(q\vee r\vee s)$

but this clearly does not include the "There are no other possibilities" part.

How do I represent the theorem using symbolic logic?